Paraconsistency and the need for infinite semantics

Research output: Contribution to journalArticlepeer-review

Abstract

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
Volume23
Issue number7
DOIs
StatePublished - 15 Apr 2019

Fingerprint

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

Cite this