Photo by victor_011 from unsplash
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… Click to show full 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).
Keywords:
need infinite;
paraconsistency need;
infinite semantics;
semantics
Journal Title: Soft Computing
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Soft Computing
Year Published: 2019
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!