The pursuit of an implication for the logics L3A and L3B

DOI10.1007/S11787-017-0182-3zbMath1420.03043OpenAlexW2765217404MaRDI QIDQ1689566

Mauricio Osorio Galindo, Alejandro Hernández-Tello, José Ramón Enrique Arrazola Ramírez

Publication date: 12 January 2018

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-017-0182-3

zbMATH Keywords

implicationnon-classical logicsgenuine paraconsistent logicGödel's implication

Mathematics Subject Classification ID

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

Related Items (5)

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 ⋮ Is the principle of contradiction a consequence of \(x^2=x\)?

Cites Work

• Revisiting da Costa logic
• Ideal paraconsistent logics
• Equivalence for the \(G_3^\prime\)-stable models semantics
• Two Genuine 3-Valued Paraconsistent Logics
• Strong Three-Valued Paraconsistent Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The pursuit of an implication for the logics L3A and L3B