An axiomatic approach to CG^_3 logic

DOI10.1093/JIGPAL/JZAA014MaRDI QIDQ3386922zbMATH OpenOpenAlexFDO

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

Publication date 8 January 2021

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzaa014

zbMATH Keywords

many-valued logicsparaconsistent logic\( \mathbf{CG}^{\prime}_3\) logic

Mathematics Subject Classification ID

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

Recommendations

• Kripke-type semantics for \(\mathrm{CG}_3'\)
• Brief study of G'₃ logic
• A paraconsistent 3-valued logic related to Gödel logic G3
• Proof systems for 3-valued logics based on Gödel's implication
• \(\mathbf{G}_3'\) as the logic of modal 3-valued Heyting algebras

Cited in

(5)

• Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
• All splitting logics in the lattice NEXT(KTB.3'A)
• Kripke-type semantics for \(\mathrm{CG}_3'\)
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3
• scientific article; zbMATH DE number 4135917 (Why is no real title available?)

This page was built for publication: An axiomatic approach to \(\mathbf{CG}^{\prime}_3\) logic

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