Many-valued non-deterministic semantics for first-order logics of formal (in)consistency
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 differently 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 first-order LFIs (which includes da Costa’s original system..
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Ideal Paraconsistent Logics.O. Arieli, A. Avron & A. Zamansky - 2011 - Studia Logica 99 (1-3):31-60.
Multi-Valued Calculi for Logics Based on Non-Determinism.Arnon Avron & Beata Konikowska - 2005 - Logic Journal of the IGPL 13 (4):365-387.
Four-Valued Semantics for Relevant Logics (and Some of Their Rivals).Greg Restall - 1995 - Journal of Philosophical Logic 24 (2):139 - 160.
A Paraconsistentist Approach to Chisholm's Paradox.Marcelo E. Coniglio & Newton M. Peron - 2009 - Principia 13 (3):299-326.
Added to index2009-01-28
Total downloads5 ( #590,060 of 2,152,226 )
Recent downloads (6 months)0
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.