Two Genuine 3-Valued Paraconsistent Logics

DOI10.1007/978-3-319-40418-9_4zbMath1429.03104OpenAlexW2486275210MaRDI QIDQ5213770

Jean-Yves Béziau

Publication date: 4 February 2020

Published in: Towards Paraconsistent Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-40418-9_4

zbMATH Keywords

many-valued logicnegationparaconsistent logic

Mathematics Subject Classification ID

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

Related Items (9)

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 ⋮ Three new genuine five-valued logics intended to model non-trivial concepts ⋮ Generalized correspondence analysis for three-valued logics ⋮ Many-valuedness from a universal logic perspective ⋮ Is the principle of contradiction a consequence of \(x^2=x\)? ⋮ The pursuit of an implication for the logics L3A and L3B ⋮ Paraconsistent and paracomplete logics based on \(k\)-cyclic modal pseudocomplemented De Morgan algebras ⋮ A family of genuine and non-algebraisable C-systems

Cites Work

• Liberating paraconsistency from contradiction
• The logic of paradox
• Paraconsistency and the C-systems of da Costa
• A calculus of antinomics
• Trivial Dialetheism and the Logic of Paradox
• Round Squares Are No Contradictions (Tutorial on Negation Contradiction and Opposition)
• Three-Valued Paraconsistent Propositional Logics
• 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: Two Genuine 3-Valued Paraconsistent Logics