Paraconsistency and the need for infinite semantics

Research output: Contribution to journalArticlepeer-review


We show that most of the paraconsistent logics which have been investigated in the literature have no finite characteristic matrices, and in the most important cases not even finite characteristic non-deterministic matrices (Nmatrices).

Original languageEnglish
Pages (from-to)2167-2175
Number of pages9
JournalSoft Computing
Issue number7
StatePublished - 15 Apr 2019


Dive into the research topics of 'Paraconsistency and the need for infinite semantics'. Together they form a unique fingerprint.

Cite this