Self-extensional three-valued paraconsistent logics have no implication

Arnon Avron*, Jean Yves Beziau

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

12 Scopus citations

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 languageEnglish
Pages (from-to)183-194
Number of pages12
JournalLogic Journal of the IGPL
Volume25
Issue number2
DOIs
StatePublished - 1 Apr 2017

Funding

FundersFunder number
EU-FP7
European Commission318986
Tel Aviv UniversityPIRSES-GA-2012-318986
Israel Science Foundation817/15

    Keywords

    • Implication
    • Many-valued logic
    • Negation
    • Paraconsistent logic
    • Self-extensionality

    Fingerprint

    Dive into the research topics of 'Self-extensional three-valued paraconsistent logics have no implication'. Together they form a unique fingerprint.

    Cite this