Self-extensional three-valued paraconsistent logics have no implication

Arnon Avron, Jean Yves Beziau

Research output: Contribution to journalArticlepeer-review

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

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