Many-valued non-deterministic semantics for ﬁrst-order Logics of Formal (In)consistency
|Abstract||A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely diﬀerently when contradictions are involved. da Costa’s approach has led to the family of Logics of Formal (In)consistency (LFIs). In this paper we provide non-deterministic semantics for a very large family of ﬁrst-order LFIs (which includes da Costa’s original system..|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|External links||This entry has no external links. Add one.|
|Through your library||Only published papers are available at libraries|
Similar books and articles
O. Arieli, A. Avron & A. Zamansky (2011). Ideal Paraconsistent Logics. Studia Logica 99 (1-3):31-60.
A. Avron & B. Konikowska (2008). Rough Sets and 3-Valued Logics. Studia Logica 90 (1):69 - 92.
Marcelo E. Coniglio & Newton M. Peron (2009). A Paraconsistentist Approach to Chisholm's Paradox. Principia 13 (3):299-326.
Greg Restall (1995). Four-Valued Semantics for Relevant Logics (and Some of Their Rivals). Journal of Philosophical Logic 24 (2):139 - 160.
Arnon Avron (2005). A Non-Deterministic View on Non-Classical Negations. Studia Logica 80 (2-3):159 - 194.
Added to index2009-01-28
Total downloads7 ( #142,233 of 722,704 )
Recent downloads (6 months)0
How can I increase my downloads?