Ideal Paraconsistent Logics

O. Arieli, A. Avron, A. Zamansky

Research output: Contribution to journalArticlepeer-review


We define in precise terms the basic properties that an 'ideal propositional paraconsistent logic' is expected to have, and investigate the relations between them. This leads to a precise characterization of ideal propositional paraconsistent logics. We show that every three-valued paraconsistent logic which is contained in classical logic, and has a proper implication connective, is ideal. Then we show that for every n < 2 there exists an extensive family of ideal n-valued logics, each one of which is not equivalent to any k-valued logic with k < n.

Original languageEnglish
Pages (from-to)31-60
Number of pages30
JournalStudia Logica
Issue number1
StatePublished - Oct 2011
Externally publishedYes

Bibliographical note

Funding Information:
Acknowledgements. This research was supported by The Israel Science Foundation (grant No 280-10).


  • Paraconsistent logics
  • ideal paraconsistency
  • many-valued logics

ASJC Scopus subject areas

  • Logic
  • History and Philosophy of Science


Dive into the research topics of 'Ideal Paraconsistent Logics'. Together they form a unique fingerprint.

Cite this