Logics that are both paraconsistent and paracomplete
da Costa, Newton C.A.
Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 83 (1989), p. 29-32 / Harvested from Biblioteca Digitale Italiana di Matematica
Access to full text
Full (PDF)
Full (DjVu)

The Author describes new systems of logic (called "nonalethic") which are both paraconsistent and paracomplete. These systems are connected with the logic of vagueness and with certain philosophical problems (e.g. with some aspects of Hegel's logic).

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).

Publié le : 1989-12-01
@article{RLINA_1989_8_83_1_29_0,
     author = {Newton C.A. da Costa},
     title = {Logics that are both paraconsistent and paracomplete},
     journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
     volume = {83},
     year = {1989},
     pages = {29-32},
     zbl = {0741.03012},
     mrnumber = {1142433},
     language = {en},
     url = {http://dml.mathdoc.fr/item/RLINA_1989_8_83_1_29_0}
}

da Costa, Newton C.A. Logics that are both paraconsistent and paracomplete. Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti, Tome 83 (1989) pp. 29-32. http://gdmltest.u-ga.fr/item/RLINA_1989_8_83_1_29_0/

[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 Ci,Ci∗,Ci=,Di et N⁢Fi. 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. | 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