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 | |
State | Published - 15 Apr 2019 |
Funding
Funders | Funder number |
---|---|
Israel Science Foundation | 817/15 |