Algebrizzazione della logica monadica dotata dell'operatore τ di Hilbert
Mangani, Piero
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 60 (1976), p. 77-83 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

An algebraic version of a monadic 1st order logic with Hilbert's τ-symbol is given and compared with another one to be found in a previous paper written by the Author.

Publié le : 1976-02-01
@article{RLINA_1976_8_60_2_77_0,
     author = {Piero Mangani},
     title = {Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {60},
     year = {1976},
     pages = {77-83},
     zbl = {0369.02038},
     mrnumber = {0465784},
     language = {it},
     url = {http://dml.mathdoc.fr/item/RLINA_1976_8_60_2_77_0}
}

Mangani, Piero. Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 60 (1976) pp. 77-83. http://gdmltest.u-ga.fr/item/RLINA_1976_8_60_2_77_0/

[1] Bourbaki, N. (1957) - Eléments de Mathématiques (Théorie des ensembles). Livre 1, Paris. | MR 207541

[2] Halmos, P. R. (1962) - Algebraic logic, N.Y.. | MR 131961

[3] Hilbert, D. e Bernays, P. (1934-38) - Grundlagen der Mathematik, I e II, Berlin. | MR 237246

[4] Leisenring, A. C. (1969) - Mathematical logic and Hilbert's ϵ-simbol, London. | MR 276059

[5] Mangani, P. (1966) - Su certe algebre connesse con sistemi di logica elementare dotati dell'operatore τ di Hilbert, «Le Matematiche», 21 (1). | MR 197323 | Zbl 0145.00602