Algebrizzazione della logica monadica dotata dell'operatore τ di Hilbert

Piero Mangani

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti (1976)

  • Volume: 60, Issue: 2, page 77-83
  • ISSN: 0392-7881

Abstract

top
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.

How to cite

top

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 60.2 (1976): 77-83. <http://eudml.org/doc/291108>.

@article{Mangani1976,
author = {Mangani, Piero},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
language = {ita},
month = {2},
number = {2},
pages = {77-83},
publisher = {Accademia Nazionale dei Lincei},
title = {Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert},
url = {http://eudml.org/doc/291108},
volume = {60},
year = {1976},
}

TY - JOUR
AU - Mangani, Piero
TI - Algebrizzazione della logica monadica dotata dell'operatore $\tau$ di Hilbert
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1976/2//
PB - Accademia Nazionale dei Lincei
VL - 60
IS - 2
SP - 77
EP - 83
LA - ita
UR - http://eudml.org/doc/291108
ER -

References

top
  1. BOURBAKI, N. (1957) - Eléments de Mathématiques (Théorie des ensembles). Livre 1, Paris. MR207541
  2. HALMOS, P. R. (1962) - Algebraic logic, N.Y.. MR131961
  3. HILBERT, D. e BERNAYS, P. (1934-38) - Grundlagen der Mathematik, I e II, Berlin. MR237246
  4. LEISENRING, A. C. (1969) - Mathematical logic and Hilbert's ϵ -simbol, London. MR276059
  5. MANGANI, P. (1966) - Su certe algebre connesse con sistemi di logica elementare dotati dell'operatore τ di Hilbert, «Le Matematiche», 21 (1). Zbl0145.00602MR197323

NotesEmbed ?

top

You must be logged in to post comments.