bdim: Biblioteca Digitale Italiana di Matematica

Un progetto SIMAI e UMI
Indice degli Autori
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei Matem. Appl., Serie 9 -> Vol. 7 (1996), n. 3 -> pp. 125-128

Referenza completa

Abe, Jair Minoro:
Curry algebras \( N_{1} \) (Le algebre «Curry» \( N_{1} \))
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni Serie 9 7 (1996), fasc. n.3, p. 125-128, (English)
pdf (576 Kb), djvu (113 Kb). | MR1454407 | Zbl 0871.03015

Sunto

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à.
Referenze Bibliografiche
[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 940201 | Zbl 0648.03015
[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 434751 | Zbl 0163.24209
[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 0118.01211
[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 354361 | Zbl 0236.02022
[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 1142433 | Zbl 0741.03012
[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 976943 | Zbl 0663.03012
[8] S. C. KLEENE, Introduction to Metamathematics. Van Nostrand, Princeton 1952. | MR 51790 | Zbl 0047.00703
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend. Lincei Matem. Appl., Serie 9 -> Vol. 7 (1996), n. 3 -> pp. 125-128

La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.

Per suggerimenti o per segnalare eventuali errori, scrivete a

logo MBACCon il contributo del Ministero per i Beni e le Attività Culturali