Graduate studies at Western
Studia Logica 99 (1-3):31-60 (2011)
|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)|
|Through your library||Configure|
Similar books and articles
Bryson Brown (1999). Yes, Virginia, There Really Are Paraconsistent Logics. Journal of Philosophical Logic 28 (5):489-500.
Gemma Robles, Francisco Salto & José M. Méndez (forthcoming). Dual Equivalent Two-Valued Under-Determined and Over-Determined Interpretations for Łukasiewicz's 3-Valued Logic Ł3. Journal of Philosophical Logic:1-30.
Newton C. A. da Costa & Décio Krause, Remarks on the Applications of Paraconsistent Logic to Physics.
Marcelo E. Coniglio & Newton M. Peron (2013). Modal Extensions of Sub-Classical Logics for Recovering Classical Logic. Logica Universalis 7 (1):71-86.
Greg Restall (2002). Paraconsistency Everywhere. Notre Dame Journal of Formal Logic 43 (3):147-156.
Marcelo E. Coniglio & Newton M. Peron (2009). A Paraconsistentist Approach to Chisholm's Paradox. Principia 13 (3):299-326.
Gemma Robles & José M. Méndez (2010). Paraconsistent Logics Included in Lewis’ S4. Review of Symbolic Logic 3 (03):442-466.
Juliana Bueno-Soler (2010). Two Semantical Approaches to Paraconsistent Modalities. Logica Universalis 4 (1):137-160.
Reinhard Muskens (1999). On Partial and Paraconsistent Logics. Notre Dame Journal of Formal Logic 40 (3):352-374.
Arnon Avron, Many-Valued Non-Deterministic Semantics for First-Order Logics of Formal (in)Consistency.
Carlos A. OLLER (2004). Measuring Coherence Using LP-Models. Journal of Applied Logic 2 (4):451-455.
Dominic Hyde & Mark Colyvan (2008). Paraconsistent Vagueness: Why Not? Australasian Journal of Logic 6:107-121.
Added to index2011-09-22
Total downloads8 ( #132,074 of 749,219 )
Recent downloads (6 months)1 ( #62,892 of 749,219 )
How can I increase my downloads?