Self-extensional three-valued paraconsistent logics have no implication
Arnon Avron, Jean-Yves Béziau · Logic Journal of IGPL · 2016
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.