Kripke-type semantics for \(\mathrm{CG}_3'\)

DOI10.1016/j.entcs.2016.11.003zbMath1394.03045OpenAlexW2567016268WikidataQ113317623 ScholiaQ113317623MaRDI QIDQ1744430

Miguel Pérez-Gaspar, Verónica Borja Macías

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.11.003

zbMATH Keywords

many-valued logicsparaconsistent logicsKripke-type semantics

Mathematics Subject Classification ID

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

Related Items (2)

Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ A family of genuine and non-algebraisable C-systems

Cites Work

• Revisiting da Costa logic
• Revisiting \(\mathbb Z\)
• On the theory of inconsistent formal systems
• Brief study of G'₃ logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Kripke-type semantics for \(\mathrm{CG}_3'\)