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/