We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Effective Non-deterministic Semantics for first-order LFIs.
- Authors
Zamansky, Anna; Avron, Arnon
- Abstract
A paraconsistent logic is a logic which allows non-trivial inconsistent 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 non-deterministic matrices, a generalization of standard multi-valued matrices, to provide simple and modular finite-valued semantics for a large family of first-order LFIs. We demonstrate that the modular approach of Nmatrices provides new insights into the semantic role of the studied axioms and the dependencies between them. Furthermore, we study the issue of effectiveness in Nmatrices, a property which is crucial for the usefulness of semantics.We show that all of the non-deterministic semantics provided in this paper are effective.
- Subjects
LOGIC; SEMANTICS; MATRICES (Mathematics); MATHEMATICAL logic; FIRST-order logic; TYPE theory
- Publication
Journal of Multiple-Valued Logic & Soft Computing, 2007, Vol 13, Issue 4-6, p335
- ISSN
1542-3980
- Publication type
Article