Curry algebras N 1

Jair Minoro Abe

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

  • Volume: 7, Issue: 3, page 125-128
  • ISSN: 1120-6330

Abstract

top
In [6] da Costa has introduced a new hierarchy N i , 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 N i and study some of their properties.

How to cite

top

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 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
  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. Zbl0648.03015MR940201
  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. Zbl0163.24209MR434751
  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. Zbl0118.01211
  5. DA COSTA, N. C. A., On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic, 1974, 497-510. Zbl0236.02022MR354361
  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. Zbl0741.03012MR1142433
  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. Zbl0663.03012MR976943
  8. KLEENE, S. C., Introduction to Metamathematics. Van Nostrand, Princeton1952. Zbl0047.00703MR51790

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.