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

Zbl MR
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). 
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/
@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},
     year = {1989},
     volume = {Ser. 8, 83},
     number = {1},
     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
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
%U http://geodesic.mathdoc.fr/item/RLINA_1989_8_83_1_a3/
%G en
%F 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