Logica Universalis 4 (1):137-160 (2010)

Abstract
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)
DOI 10.1007/s11787-010-0015-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


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

References found in this work BETA

A Classically-Based Theory of Impossible Worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.
Fragments of the Propositional Calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (1):42-48.

View all 6 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2010-03-13

Total views
86 ( #114,722 of 2,403,526 )

Recent downloads (6 months)
1 ( #551,205 of 2,403,526 )

How can I increase my downloads?

Downloads

My notes