Sign Up to like & get
recommendations!
0
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