Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleSelf-extensional three-valued paraconsistent logics have no implication.AuthorsAVRON, ARNON; BEZIAU, JEAN-YVESAbstractA 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.SubjectsNEGATION (Logic); IMPLICATION (Logic); MODAL logic; SUBSTITUTION (Logic); CONNECTIVES (Linguistics)PublicationLogic Journal of the IGPL, 2017, Vol 25, Issue 2, p183ISSN1367-0751Publication typeArticleDOI10.1093/jigpal/jzw059