Curry algebras
- Volume: 7, Issue: 3, page 125-128
- ISSN: 1120-6330
Access Full Article
topAbstract
topHow to cite
topAbe, Jair Minoro. "Curry algebras \( N_{1} \)." Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni 7.3 (1996): 125-128. <http://eudml.org/doc/244195>.
@article{Abe1996,
abstract = {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.},
author = {Abe, Jair Minoro},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni},
keywords = {Algebraic logic; Paraconsistent logic; Paracomplete logic; Non-alethic logic; algebraic logic; paraconsistent logic; paracomplete logic; non-alethic logics},
language = {eng},
month = {12},
number = {3},
pages = {125-128},
publisher = {Accademia Nazionale dei Lincei},
title = {Curry algebras \( N\_\{1\} \)},
url = {http://eudml.org/doc/244195},
volume = {7},
year = {1996},
}
TY - JOUR
AU - Abe, Jair Minoro
TI - Curry algebras \( N_{1} \)
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni
DA - 1996/12//
PB - Accademia Nazionale dei Lincei
VL - 7
IS - 3
SP - 125
EP - 128
AB - 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.
LA - eng
KW - Algebraic logic; Paraconsistent logic; Paracomplete logic; Non-alethic logic; algebraic logic; paraconsistent logic; paracomplete logic; non-alethic logics
UR - http://eudml.org/doc/244195
ER -
References
top- 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. Zbl0648.03015MR940201
- 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.
- CURRY, H. B., Foundations of Mathematical Logic. Dover, New York1977. Zbl0163.24209MR434751
- 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. Zbl0118.01211
- DA COSTA, N. C. A., On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 1974, 497-510. Zbl0236.02022MR354361
- DA COSTA, N. C. A., Logics that are both paraconsistent and paracomplete. Atti Acc. Lincei Rend. fis., s. 8, vol. 83, 1989, 29-32. Zbl0741.03012MR1142433
- DA COSTA, N. C. A. - MARCONI, D., A note on paracomplete logic. Atti Acc. Lincei Rend. fis., s. 8, vol. 80, 1986, 504-509. Zbl0663.03012MR976943
- KLEENE, S. C., Introduction to Metamathematics. Van Nostrand, Princeton1952. Zbl0047.00703MR51790
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.