Revisiting \(\mathbb Z\)
From MaRDI portal
Publication:2443124
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
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'3 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