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.
Original language | English |
---|---|
Pages (from-to) | 183-194 |
Number of pages | 12 |
Journal | Logic Journal of the IGPL |
Volume | 25 |
Issue number | 2 |
DOIs | |
State | Published - 1 Apr 2017 |
Keywords
- Implication
- Many-valued logic
- Negation
- Paraconsistent logic
- Self-extensionality