Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)

DOI10.1007/S11787-021-00269-2OpenAlexW3134453612MaRDI QIDQ828777

Miguel Pérez-Gaspar, Alejandro Hernández-Tello, Verónica Borja Macías

Publication date: 5 May 2021

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

Full work available at URL: https://doi.org/10.1007/s11787-021-00269-2

zbMATH Keywords

non-classical logicsgenuine paraconsistent logicHilbert-type system

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Synonymous logics
• The pursuit of an implication for the logics L3A and L3B
• On the theory of inconsistent formal systems
• Maximality in finite-valued Łukasiewicz logics defined by order filters
• Logics of Formal Inconsistency
• Two Genuine 3-Valued Paraconsistent Logics
• Strong Three-Valued Paraconsistent Logics

This page was built for publication: Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)