TY - GEN
T1 - Many-valued non-deterministic semantics for first-order logics of formal (In)consistency
AU - Avron, Arnon
AU - Zamansky, Anna
PY - 2007
Y1 - 2007
N2 - 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 C*1, as well as thousands of other logics). We show that our semantics is effective and modular, and we use this effectiveness to derive some important properties of logics in this family.
AB - 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 C*1, as well as thousands of other logics). We show that our semantics is effective and modular, and we use this effectiveness to derive some important properties of logics in this family.
UR - http://www.scopus.com/inward/record.url?scp=38549143673&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-75939-3_1
DO - 10.1007/978-3-540-75939-3_1
M3 - Conference contribution
AN - SCOPUS:38549143673
SN - 3540759387
SN - 9783540759386
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 24
BT - Algebraic and Proof-Theoretic Aspects of Non-classical Logics
PB - Springer Verlag
ER -