Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency

Paraconsistent logic is the study of contradictory yet non-trivial theories. One of the best-known approaches to designing useful paraconsistent logics is da Costa’s approach, which has led to the family of Logics of Formal Inconsistency (LFIs), where the notion of inconsistency is expressed at the object level. In this paper we use nondeterministic matrices, a generalization of standard multivalued matrices, to provide simple and modular finitevalued semantics for a large family of first-order LFIs. The modular approach provides new insights into the semantic role of each of the studied axioms and the dependencies between them. We also prove the effectiveness of our semantics, a crucial property for constructing counterexamples, and apply it to show a non-trivial proof-theoretical property of the studied LFIs.

• Type: Conference
• Year: 2007
• Where: ISMVL
• Authors: Arnon Avron, Anna Zamansky
• Keywords: Artificial Intelligence, ISMVL 2007, Non-trivial Theories, Paraconsistent Logics, Useful Paraconsistent Logics