Logics that are both paraconsistent and paracomplete

Newton C.A. da Costa

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti (1989)

  • Volume: 83, Issue: 1, page 29-32
  • ISSN: 0392-7881

Abstract

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

How to cite

top

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 83.1 (1989): 29-32. <http://eudml.org/doc/289205>.

@article{daCosta1989,
abstract = {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).},
author = {da Costa, Newton C.A.},
journal = {Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti},
keywords = {Logic; Paraconsistent; Paracomplete; Vagueness},
language = {eng},
month = {12},
number = {1},
pages = {29-32},
publisher = {Accademia Nazionale dei Lincei},
title = {Logics that are both paraconsistent and paracomplete},
url = {http://eudml.org/doc/289205},
volume = {83},
year = {1989},
}

TY - JOUR
AU - da Costa, Newton C.A.
TI - Logics that are both paraconsistent and paracomplete
JO - Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti
DA - 1989/12//
PB - Accademia Nazionale dei Lincei
VL - 83
IS - 1
SP - 29
EP - 32
AB - 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).
LA - eng
KW - Logic; Paraconsistent; Paracomplete; Vagueness
UR - http://eudml.org/doc/289205
ER -

References

top
  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. Zbl0118.01211MR157895
  2. DA COSTA, N.C.A., 1965. Sur les systèmes formels C i , C i ∗ , C i = , D i et N ⁢ F i . Comptes Rendus de l'Académie des Sciences de Paris: 5427-5430. Zbl0134.01505
  3. DA COSTA, N.C.A., 1974. On the theory of inconsistent formal systems. Notre Dame Journal of Formal Logic: 497-510. Zbl0236.02022MR354361
  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. Zbl0663.03012MR976943
  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. Zbl0549.03023MR764879

NotesEmbed ?

top

You must be logged in to post comments.