Ideal Paraconsistent Logics

Studia Logica 99 (1-3):31-60 (2011)

Authors
Arnon Avron
Tel Aviv University
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
Keywords Paraconsistent logics  ideal paraconsistency  many-valued logics
Categories (categorize this paper)
DOI 10.1007/s11225-011-9346-y
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,566
Through your library

References found in this work BETA

The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.
A Useful Four-Valued Logic.N. D. Belnap - 1977 - In J. M. Dunn & G. Epstein (eds.), Modern Uses of Multiple-Valued Logic. D. Reidel.
On the Theory of Inconsistent Formal Systems.Newton C. A. Costa - 1972 - Recife, Universidade Federal De Pernambuco, Instituto De Matemática.

View all 17 references / Add more references

Citations of this work BETA

Paraconsistent Dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
Paraconsistency, Paracompleteness, Gentzen Systems, and Trivalent Semantics.Arnon Avron - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):12-34.

View all 7 citations / Add more citations

Similar books and articles

Yes, Virginia, There Really Are Paraconsistent Logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo Esteban Coniglio & Newton Marques Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Paraconsistent Logics Included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (3):442-466.
On Partial and Paraconsistent Logics.Reinhard Muskens - 1999 - Notre Dame Journal of Formal Logic 40 (3):352-374.
Measuring Coherence Using LP-Models.Carlos A. OLLER - 2004 - Journal of Applied Logic 2 (4):451-455.

Analytics

Added to PP index
2011-09-22

Total views
65 ( #112,633 of 2,325,496 )

Recent downloads (6 months)
4 ( #413,367 of 2,325,496 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature