Abstract
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 language | English |
|---|---|
| Pages (from-to) | 31-60 |
| Number of pages | 30 |
| Journal | Studia Logica |
| Volume | 99 |
| Issue number | 1 |
| DOIs | |
| State | Published - Oct 2011 |
| Externally published | Yes |
Bibliographical note
Funding Information:Acknowledgements. This research was supported by The Israel Science Foundation (grant No 280-10).
Keywords
- Paraconsistent logics
- ideal paraconsistency
- many-valued logics
ASJC Scopus subject areas
- Logic
- History and Philosophy of Science
Fingerprint
Dive into the research topics of 'Ideal Paraconsistent Logics'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver