Self-extensional three-valued paraconsistent logics have no implication | Logic Journal of the IGPL | DeepDyve