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 Cet article a éte moissonné depuis la source Biblioteca Digitale Italiana di Matematica

Voir la notice de l'article

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