Geodesic
Curry algebras \( N_{1} \)
Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni, Série 9, Tome 7 (1996) no. 3, pp. 125-128.

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

In [6] da Costa has introduced a new hierarchy \( N_{i} \), \( 1 \le i \le 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 \( N_{i} \) and study some of their properties.
Nell'articolo [6] da Costa ha introdotto una nuova gerarchia \( N_{i} \), \( 1 \le i \le 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 \( N_{i} \), e studiamo alcune proprietà. 
@article{RLIN_1996_9_7_3_a0,
     author = {Abe, Jair Minoro},
     title = {Curry algebras \( {N_{1}} \)},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni},
     pages = {125--128},
     publisher = {mathdoc},
     volume = {Ser. 9, 7},
     number = {3},
     year = {1996},
     zbl = {0871.03015},
     mrnumber = {940201},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/RLIN_1996_9_7_3_a0/}
}
TY  - JOUR
AU  - Abe, Jair Minoro
TI  - Curry algebras \( N_{1} \)
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni
PY  - 1996
SP  - 125
EP  - 128
VL  - 7
IS  - 3
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/RLIN_1996_9_7_3_a0/
LA  - en
ID  - RLIN_1996_9_7_3_a0
ER  - 
%0 Journal Article
%A Abe, Jair Minoro
%T Curry algebras \( N_{1} \)
%J Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni
%D 1996
%P 125-128
%V 7
%N 3
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/RLIN_1996_9_7_3_a0/
%G en
%F RLIN_1996_9_7_3_a0
Abe, Jair Minoro. Curry algebras \( N_{1} \). Atti della Accademia nazionale dei Lincei. Rendiconti Lincei. Matematica e applicazioni, Série 9, Tome 7 (1996) no. 3, pp. 125-128. https://geodesic-test.mathdoc.fr/item/RLIN_1996_9_7_3_a0/

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

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

[3] H. B. Curry, Foundations of Mathematical Logic. Dover, New York 1977. | MR | Zbl

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

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

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

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

[8] S. C. Kleene, Introduction to Metamathematics. Van Nostrand, Princeton 1952. | MR | Zbl