Effective non-deterministic semantics for first-order LFIs

Anna Zamansky, Arnon Avron

Research output: Contribution to journalArticlepeer-review


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.

Original languageEnglish
Pages (from-to)335-351
Number of pages17
JournalJournal of Multiple-Valued Logic and Soft Computing
Issue number4-6
StatePublished - 2007
Externally publishedYes


  • Many-valued logic
  • Non-deterministic matrices
  • Paraconsistent logic

ASJC Scopus subject areas

  • Software
  • Theoretical Computer Science
  • Logic


Dive into the research topics of 'Effective non-deterministic semantics for first-order LFIs'. Together they form a unique fingerprint.

Cite this