Strong Three-Valued Paraconsistent Logics

DOI10.1007/978-81-322-2719-9_5zbMATH Open1423.03097OpenAlexW2475065877MaRDI QIDQ5241521FDOQ5241521

Authors: Jean-Yves Béziau, Anna Franceschetto 

Publication date: 31 October 2019

Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_5

Recommendations

• scientific article; zbMATH DE number 1775473
• Three-valued paraconsistent propositional logics
• Partial and paraconsistent three-valued logics
• On the strongest three-valued paraconsistent logic contained in classical logic and its dual
• scientific article; zbMATH DE number 2020144
• Self-extensional three-valued paraconsistent logics
• Two Genuine 3-Valued Paraconsistent Logics
• A paraconsistent 3-valued logic related to Gödel logic G3
• Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
• Jaśkowski's criterion and three-valued paraconsistent logics

zbMATH Keywords

many-valued logicnegationparaconsistent logicprinciple of noncontradiction

Mathematics Subject Classification ID

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

Cites Work

• The logic of paradox
• Title not available (Why is that?)
• Logic: a history of its central concepts
• Title not available (Why is that?)
• Title not available (Why is that?)
• A calculus of antinomics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Three-Valued Paraconsistent Propositional Logics
• Paraconsistency and the C-systems of da Costa
• Idempotent full paraconsistent negations are not algebraizable
• Legislative theory of pure negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Trivial Dialetheism and the Logic of Paradox
• Title not available (Why is that?)

Cited In (11)

• Jaśkowski's criterion and three-valued paraconsistent logics
• Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
• Non-transitive correspondence analysis
• Gentzen-Type Refutation Systems for Three-Valued Logics with an Application to Disproving Strong Equivalence
• The pursuit of an implication for the logics L3A and L3B
• Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case
• Strong paraconsistency and the basic constructive logic for an even weaker sense of consistency
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Two Genuine 3-Valued Paraconsistent Logics

This page was built for publication: Strong Three-Valued Paraconsistent Logics

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