An axiomatic approach to CG^_3 logic

DOI10.1093/JIGPAL/JZAA014zbMATH Open1478.03052OpenAlexW3045718384MaRDI QIDQ3386922FDOQ3386922

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cited In (5)

• Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\)
• Title not available (Why is that?)
• Kripke-type semantics for \(\mathrm{CG}_3'\)
• All splitting logics in the lattice NEXT(KTB.3'A)
• Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3

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)