Paraconsistency and the need for infinite semantics
Sign Up to like & getrecommendations! Published in 2019 at "Soft Computing"
DOI: 10.1007/s00500-018-3272-0
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). read more here.
Keywords: need infinite; paraconsistency need; infinite semantics; semantics ... See more keywords