Revisiting da Costa logic

DOI10.1016/J.JAL.2016.02.004zbMATH Open1437.03104OpenAlexW2275288795MaRDI QIDQ301378FDOQ301378

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

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

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)

Cites Work

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

Cited In (11)

• Da Costa meets Belnap and Nelson
• Title not available (Why is that?)
• Title not available (Why is that?)
• Kripke-type semantics for \(\mathrm{CG}_3'\)
• The pursuit of an implication for the logics L3A and L3B
• Strict paraconsistency of truth-degree preserving intuitionistic logic with dual negation
• Title not available (Why is that?)
• Title not available (Why is that?)
• First-order da Costa logic
• 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)