Logica Universalis 4 (1):137-160 (2010)
In this paper we extend the anodic systems introduced in Bueno-Soler (J Appl Non Class Logics 19(3):291–310, 2009) by adding certain paraconsistent axioms based on the so called logics of formal inconsistency , introduced in Carnielli et al. (Handbook of philosophical logic, Springer, Amsterdam, 2007), and define the classes of systems that we call cathodic . These classes consist of modal paraconsistent systems, an approach which permits us to treat with certain kinds of conflicting situations. Our interest in this paper is to show that such systems can be semantically characterized in two different ways: by Kripke-style semantics and by modal possible-translations semantics . Such results are inspired in some universal constructions in logic, in the sense that cathodic systems can be seen as a kind of fusion (a particular case of fibring) between modal logics and non-modal logics, as discussed in Carnielli et al. (Analysis and synthesis of logics, Springer, Amsterdam, 2007). The outcome is inherently within the spirit of universal logic, as our systems semantically intermingles modal logics, paraconsistent logics and many-valued logics, defining new blends of logics whose relevance we intend to show.
|Keywords||Modal logics paraconsistent logics completeness Kripke semantics possible-translations semantics|
|Categories||categorize this paper)|
References found in this work BETA
On Paraconsistent Deontic Logic.Newton C. A. Costa & Walter A. Carnielli - 1986 - Philosophia 16 (3-4):293-305.
On Paraconsistent Deontic Logic.C. A. Da Costa Newton & A. Carnielli Walter - 1986 - Philosophia 16 (3-4):293-305.
Citations of this work BETA
Multimodal Incompleteness Under Weak Negations.Juliana Bueno-Soler - 2013 - Logica Universalis 7 (1):21-31.
Similar books and articles
The Method of Hypersequents in the Proof Theory of Propositional Non-Classical Logics.Arnon Avron - unknown
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
On Modal Logics Characterized by Models with Relative Accessibility Relations: Part II.Stéphane Demri & Dov Gabbay - 2000 - Studia Logica 66 (3):349-384.
Paraconsistent Logics Included in Lewis’ S4.Gemma Robles & José M. Méndez - 2010 - Review of Symbolic Logic 3 (03):442-466.
Yes, Virginia, There Really Are Paraconsistent Logics.Bryson Brown - 1999 - Journal of Philosophical Logic 28 (5):489-500.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo E. Coniglio & Newton M. Peron - 2009 - Principia: An International Journal of Epistemology 13 (3):299-326.
Added to index2010-03-13
Total downloads34 ( #151,941 of 2,172,038 )
Recent downloads (6 months)1 ( #325,337 of 2,172,038 )
How can I increase my downloads?