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., Serie 8 -> Vol. 83 (1989), n. 1 -> pp. 29-32

Referenza completa

da Costa, Newton C.A.:
Logics that are both paraconsistent and paracomplete (Logiche paraconsistente e paracomplete)
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Serie 8 83 (1989), fasc. n.1, p. 29-32, (English)
pdf (480 Kb), djvu (373 Kb). | MR 1142433 | Zbl 0741.03012

Sunto

L'autore descrive nuovi sistemi di logica (detta "nonaletica") che sono al tempo stesso paraconsistenti e paracompleti. Questi sistemi sono connessi con la logica della vaghezza e con alcuni problemi filosofici (per esempio, con taluni aspetti della logica di Hegel).
Referenze Bibliografiche
[1] DA COSTA N.C.A., 1963. Calculs propositionnels pour les systèmes formels inconsistants. Comptes Rendus de l'Académie des Sciences de Paris: 3790-3792. | MR 157895 | Zbl 0118.01211
[2] DA COSTA N.C.A., 1965. Sur les systèmes formels $C_{i}, C_{i}^{\ast}, C_{i}^{=}, D_{i}$ et $NF_{i}$. Comptes Rendus de l'Académie des Sciences de Paris: 5427-5430. | Zbl 0134.01505
[3] DA COSTA N.C.A., 1974. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic: 497-510. | MR 354361 | Zbl 0236.02022
[4] DA COSTA N.C.A. and MARCONI D., 1986. A note on paracomplete logic. Atti Acc. Lincei Rend. fis., s. VIII, vol. LXXX: 504-509. | fulltext EuDML | MR 976943 | Zbl 0663.03012
[5] KLEENE S.C., 1952, 1971. Introduction to Metamathematics. Wolters-Noordhoff (Gröningen), North-Holland (Amsterdam), American Elsevier (New York), 1971 [7], 1951 [1].
[6] LOPARIC A. and DA COSTA N.C.A., 1984. Paraconsistency, paracompleteness, and valuations. «Logique et Analyse»: 119-131. | MR 764879 | Zbl 0549.03023
Home -> Atti Accad. Naz. Lincei Cl. Sci. Fis. Mat. Natur. Rend., Serie 8 -> Vol. 83 (1989), n. 1 -> pp. 29-32

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