Revisiting da Costa logic

DOI10.1016/J.JAL.2016.02.004MaRDI QIDQ301378zbMATH OpenOpenAlexFDO

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

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

many-valued logicmodal logicparaconsistent logicda Costa logicnon-monotonic reasoning

Mathematics Subject Classification ID

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

Recommendations

• First-order da Costa logic
• Extensions of Priest-da Costa logic
• Variations on da Costa C systems and dual-intuitionistic logics. I: Analyses of \(C_{\omega}\) and \(CC_{\omega}\)
• scientific article; zbMATH DE number 5519286
• scientific article; zbMATH DE number 551010

Cites work

• scientific article; zbMATH DE number 1612555 (Why is no real title available?)
• scientific article; zbMATH DE number 5560598 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 5230344 (Why is no real title available?)
• Brief study of G'₃ logic
• Dual intuitionistic logic and a variety of negations: the logic of scientific research
• Dual-intuitionistic logic
• Extensions of Priest-da Costa logic
• Formal inconsistency and evolutionary databases
• Ground Nonmonotonic Modal Logic S5: New Results
• Ground Nonmonotonic Modal Logics
• LK, LJ, dual intuitionistic logic, and quantum logic
• Logical Weak Completions of Paraconsistent Logics
• Logics with Common Weak Completions
• Non-monotonic logic. I
• Paraconsistent logic from a modal viewpoint
• Revisiting \(\mathbb Z\)
• Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation

Cited in

(11)

• Da Costa meets Belnap and Nelson
• scientific article; zbMATH DE number 1471996 (Why is no real title available?)
• Kripke-type semantics for \(\mathrm{CG}_3'\)
• scientific article; zbMATH DE number 536898 (Why is no real title available?)
• The pursuit of an implication for the logics L3A and L3B
• Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
• First-order da Costa logic
• scientific article; zbMATH DE number 5997421 (Why is no real title available?)
• scientific article; zbMATH DE number 5521896 (Why is no real title available?)
• Extensions of Priest-da Costa logic
• Weakening and extending \(\mathbb{Z}\)

This page was built for publication: Revisiting da Costa logic

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