Curry algebras N1
Abe, Jair Minoro
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, Tome 7 (1996), p. 125-128 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

In [6] da Costa has introduced a new hierarchy Ni, 1≤i≤w of logics that are both paraconsistent and paracomplete. Such logics are now known as non-alethic logics. In this article we present an algebraic version of the logics Ni and study some of their properties.

Nell'articolo [6] da Costa ha introdotto una nuova gerarchia Ni, 1≤i≤w di logiche che sono al tempo stesso paraconsistenti e paracomplete. Tali logiche sono adesso conosciute come logiche nonaletiche. In questo articolo presentiamo una versione algebrica della logica Ni, e studiamo alcune proprietà.

Publié le : 1996-12-01
@article{RLIN_1996_9_7_3_125_0,
     author = {Jair Minoro Abe},
     title = {Curry algebras \( N\_{1} \)},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
     volume = {7},
     year = {1996},
     pages = {125-128},
     zbl = {0871.03015},
     mrnumber = {1454407},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RLIN_1996_9_7_3_125_0}
}

Abe, Jair Minoro. Curry algebras \( N_{1} \). Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni, Tome 7 (1996) pp. 125-128. http://gdmltest.u-ga.fr/item/RLIN_1996_9_7_3_125_0/

[1] Abe, J. M., A note on Curry algebras. Bulletin of the Section of Logic, Polish Academy of Sciences, vol. 16, n. 4, 1987, 151-158. | MR 940201 | Zbl 0648.03015

[2] Barros, C. M. - Da Costa, N. C. A. - Abe, J. M., Topicos de Teoria dos Sistemas Ordenados, volume II: Sistemas de Curry. 1993, to appear.

[3] Curry, H. B., Foundations of Mathematical Logic. Dover, New York1977. | MR 434751 | Zbl 0163.24209

[4] Da Costa, N. C. A., Calculs propositionnels pour les systèmes formels inconsistants. Comptes Rendus de l'Académie des Sciences de Paris, 1963, 3790-3792. | Zbl 0118.01211

[5] Da Costa, N. C. A., On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 1974, 497-510. | MR 354361 | Zbl 0236.02022

[6] Da Costa, N. C. A., Logics that are both paraconsistent and paracomplete. Atti Acc. Lincei Rend. fis., s. 8, vol. 83, 1989, 29-32. | MR 1142433 | Zbl 0741.03012

[7] Da Costa, N. C. A. - Marconi, D., A note on paracomplete logic. Atti Acc. Lincei Rend. fis., s. 8, vol. 80, 1986, 504-509. | MR 976943 | Zbl 0663.03012

[8] Kleene, S. C., Introduction to Metamathematics. Van Nostrand, Princeton1952. | MR 51790 | Zbl 0047.00703