Geodesic
Logics that are both paraconsistent and paracomplete
Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 83 (1989) no. 1, pp. 29-32.

Voir la notice de l'article provenant de la source Biblioteca Digitale Italiana di Matematica

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). 
@article{RLINA_1989_8_83_1_a3,
     author = {da Costa, Newton C.A.},
     title = {Logics that are both paraconsistent and paracomplete},
     journal = {Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali},
     pages = {29--32},
     publisher = {mathdoc},
     volume = {Ser. 8, 83},
     number = {1},
     year = {1989},
     zbl = {0741.03012},
     mrnumber = {1142433},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a3/}
}
TY  - JOUR
AU  - da Costa, Newton C.A.
TI  - Logics that are both paraconsistent and paracomplete
JO  - Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
PY  - 1989
SP  - 29
EP  - 32
VL  - 83
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a3/
LA  - en
ID  - RLINA_1989_8_83_1_a3
ER  - 
%0 Journal Article
%A da Costa, Newton C.A.
%T Logics that are both paraconsistent and paracomplete
%J Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali
%D 1989
%P 29-32
%V 83
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a3/
%G en
%F RLINA_1989_8_83_1_a3
da Costa, Newton C.A. Logics that are both paraconsistent and paracomplete. Atti della Accademia nazionale dei Lincei. Rendiconti della Classe di scienze fisiche, matematiche e naturali, Série 8, Tome 83 (1989) no. 1, pp. 29-32. http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a3/

[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 | Zbl

[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

[3] Da Costa N.C.A., 1974. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic: 497-510. | MR | Zbl

[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 | Zbl

[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 | Zbl