Self-extensional three-valued paraconsistent logics have no implication

DOI10.1093/JIGPAL/JZW059zbMATH Open1405.03063OpenAlexW2567012748MaRDI QIDQ4644476FDOQ4644476

Authors: Arnon Avron, Jean-Yves Béziau 

Publication date: 8 January 2019

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

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

Recommendations

• Self-extensional three-valued paraconsistent logics
• Three-valued paraconsistent propositional logics
• Two Genuine 3-Valued Paraconsistent Logics
• scientific article; zbMATH DE number 1775473
• The pursuit of an implication for the logics L3A and L3B

zbMATH Keywords

many-valued logicnegationparaconsistent logicimplicationself-extensionality

Mathematics Subject Classification ID

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

Cited In (7)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644476)