Geodesic
Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 60 (1976) no. 2, pp. 77-83.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

An algebraic version of a monadic 1st order logic with Hilbert's $\tau$-symbol is given and compared with another one to be found in a previous paper written by the Author. 
@article{RLINA_1976_8_60_2_a0,
     author = {Mangani, Piero},
     title = {Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di {Hilbert}},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {77--83},
     publisher = {mathdoc},
     volume = {Ser. 8, 60},
     number = {2},
     year = {1976},
     zbl = {0369.02038},
     mrnumber = {0465784},
     language = {it},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_2_a0/}
}
TY  - JOUR
AU  - Mangani, Piero
TI  - Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1976
SP  - 77
EP  - 83
VL  - 60
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_2_a0/
LA  - it
ID  - RLINA_1976_8_60_2_a0
ER  - 
%0 Journal Article
%A Mangani, Piero
%T Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1976
%P 77-83
%V 60
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_2_a0/
%G it
%F RLINA_1976_8_60_2_a0
Mangani, Piero. Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 60 (1976) no. 2, pp. 77-83. http://geodesic.mathdoc.fr/item/RLINA_1976_8_60_2_a0/

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

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

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

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

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