Abstract | ||
---|---|---|
A proof is presented showing that there is no paraconsistent logics with a standard implication (or even semi-implication) which have a three-valued characteristic matrix, and in which the replacement principle holds. |
Year | DOI | Venue |
---|---|---|
2017 | 10.1093/jigpal/jzw059 | Logic Journal of the IGPL |
Keywords | Field | DocType |
Paraconsistent logic,many-valued logic,self-extensionality,negation,implication | Pure mathematics,Extensional definition,Mathematics | Journal |
Volume | Issue | ISSN |
25 | 2 | 1367-0751 |
Citations | PageRank | References |
3 | 0.41 | 7 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Arnon Avron | 1 | 1292 | 147.65 |
Jean-Yves Béziau | 2 | 80 | 13.22 |