Revisiting \(\mathbb Z\)

DOI10.1215/00294527-2377905zbMath1326.03033OpenAlexW2034904247MaRDI QIDQ2443124

José Luis Carballido, Mauricio Osorio, Claudia Zepeda

Publication date: 4 April 2014

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1390246443

zbMATH Keywords

modal logicnonmonotonic reasoningparaconsistent logiclogic \(\mathbb{Z}\)

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Paraconsistent logics (03B53)

Related Items

Revisiting da Costa logic ⋮ Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 ⋮ Weakening and extending \(\mathbb{Z}\) ⋮ The Conley conjecture and beyond ⋮ Kripke-type semantics for \(\mathrm{CG}_3'\) ⋮ A single proof of classical behaviour in da Costa's \(C_n\) systems ⋮ On paraconsistent extensions of \(C_1\) ⋮ A family of genuine and non-algebraisable C-systems

Cites Work

• Maximal and premaximal paraconsistency in the framework of three-valued semantics
• Limits for paraconsistent calculi
• Non-monotonic logic. I
• Paraconsistent logic from a modal viewpoint
• On the theory of inconsistent formal systems
• An Application of Clasp in the Study of Logics
• 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
• Nonmonotonic Logic II
• Ground Nonmonotonic Modal Logics
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Aspects of Paraconsistent Logic
• Logics of Formal Inconsistency
• Logic and structure
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item