Revisiting da Costa logic

DOI10.1016/j.jal.2016.02.004zbMath1437.03104OpenAlexW2275288795MaRDI QIDQ301378

Verónica Borja Macías, José Ramón Enrique Arrazola Ramírez, Mauricio Osorio Galindo

Publication date: 30 June 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2016.02.004

zbMATH Keywords

modal logicmany-valued logicnon-monotonic reasoningparaconsistent logicda Costa logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Subsystems of classical logic (including intuitionistic logic) (03B20) Paraconsistent logics (03B53)

Related Items (3)

The pursuit of an implication for the logics L3A and L3B ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ Kripke-type semantics for \(\mathrm{CG}_3'\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• LK, LJ, dual intuitionistic logic, and quantum logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Non-monotonic logic. I
• Dual-intuitionistic logic
• Paraconsistent logic from a modal viewpoint
• Extensions of Priest-da Costa logic
• Revisiting \(\mathbb Z\)
• Formal inconsistency and evolutionary databases
• Ground Nonmonotonic Modal Logic S5: New Results
• Logics with Common Weak Completions
• Logical Weak Completions of Paraconsistent Logics
• Brief study of G'₃ logic
• Ground Nonmonotonic Modal Logics
• Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation

This page was built for publication: Revisiting da Costa logic