Self-extensional three-valued paraconsistent logics have no implication

DOI10.1093/JIGPAL/JZW059MaRDI QIDQ4644476zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

implicationmany-valued logicnegationparaconsistent logicself-extensionality

Mathematics Subject Classification ID

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

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

Cited in

(9)

• Compositional meaning in logic
• Self-extensional three-valued paraconsistent logics
• The pursuit of an implication for the logics L3A and L3B
• 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
• Paraconsistency and the need for infinite semantics
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Natural implicative expansions of variants of Kleene's strong 3-valued logic with Gödel-type and dual Gödel-type negation
• Proof-theoretic analysis of subabelian lattice 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)