Paraconsistency and the need for infinite semantics

Arnon Avron

doi:10.1007/s00500-018-3272-0

Paraconsistency and the need for infinite semantics

Arnon Avron^*

^*Corresponding author for this work

School of Computer Science and AI

Research output: Contribution to journal › Article › peer-review

2 Scopus citations

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 language	English
Pages (from-to)	2167-2175
Number of pages	9
Journal	Soft Computing
Volume	23
Issue number	7
DOIs	https://doi.org/10.1007/s00500-018-3272-0
State	Published - 15 Apr 2019

Funding

Funders	Funder number
Israel Science Foundation	817/15

Access to Document

10.1007/s00500-018-3272-0

Cite this

@article{f91fa3ee8014437aabb57333cc93c4af,

title = "Paraconsistency and the need for infinite semantics",

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).",

author = "Arnon Avron",

note = "Publisher Copyright: {\textcopyright} 2018, Springer-Verlag GmbH Germany, part of Springer Nature.",

year = "2019",

month = apr,

day = "15",

doi = "10.1007/s00500-018-3272-0",

language = "אנגלית",

volume = "23",

pages = "2167--2175",

journal = "Soft Computing",

issn = "1432-7643",

publisher = "Springer Science and Business Media Deutschland GmbH",

number = "7",

}

TY - JOUR

T1 - Paraconsistency and the need for infinite semantics

AU - Avron, Arnon

PY - 2019/4/15

Y1 - 2019/4/15

N2 - 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).

AB - 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).

UR - https://www.scopus.com/pages/publications/85048047437

U2 - 10.1007/s00500-018-3272-0

DO - 10.1007/s00500-018-3272-0

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:85048047437

SN - 1432-7643

VL - 23

SP - 2167

EP - 2175

JO - Soft Computing

JF - Soft Computing

IS - 7

ER -

Paraconsistency and the need for infinite semantics

Abstract

Funding

Access to Document

Other files and links

Fingerprint

Cite this