Self-extensional three-valued paraconsistent logics have no implication

DOI10.1093/jigpal/jzw059zbMath1405.03063OpenAlexW2567012748MaRDI QIDQ4644476

Jean-Yves Béziau, Arnon Avron

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzw059

zbMATH Keywords

many-valued logicimplicationnegationparaconsistent logicself-extensionality

Mathematics Subject Classification ID

Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (7)

Compositional meaning in logic ⋮ Self-extensional three-valued paraconsistent logics ⋮ LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT ⋮ The normal and self-extensional extension of Dunn-Belnap logic ⋮ Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation ⋮ Paraconsistency and the need for infinite semantics ⋮ An extended paradefinite logic combining conflation, paraconsistent negation, classical negation, and classical implication: how to construct Nice Gentzen-type sequent calculi

This page was built for publication: Self-extensional three-valued paraconsistent logics have no implication