Paraconsistency and the need for infinite semantics

Arnon Avron*

*Corresponding author for this work

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

Funding

FundersFunder number
Israel Science Foundation817/15

    Fingerprint

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

    Cite this