Strong Three-Valued Paraconsistent Logics

DOI10.1007/978-81-322-2719-9_5zbMath1423.03097OpenAlexW2475065877MaRDI QIDQ5241521

Anna Franceschetto, Jean-Yves Béziau

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

zbMATH Keywords

many-valued logicnegationparaconsistent logicprinciple of noncontradiction

Mathematics Subject Classification ID

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

Related Items (4)

Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) ⋮ Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case ⋮ The pursuit of an implication for the logics L3A and L3B ⋮ Non-transitive correspondence analysis

Cites Work

• Logic: a history of its central concepts
• The logic of paradox
• Paraconsistency and the C-systems of da Costa
• A calculus of antinomics
• Trivial Dialetheism and the Logic of Paradox
• Three-Valued Paraconsistent Propositional Logics
• Idempotent full paraconsistent negations are not algebraizable
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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