Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
From MaRDI portal
Publication:5241535
DOI10.1007/978-81-322-2719-9_19zbMath1423.03093OpenAlexW2473018460MaRDI QIDQ5241535
Publication date: 31 October 2019
Published in: Springer Proceedings in Mathematics & Statistics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-81-322-2719-9_19
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Notes on the model theory of DeMorgan logics
- Heyting mereology as a framework for spatial reasoning
- Some topological properties of paraconsistent models
- First-order da Costa logic
- Kripke-type semantics for Da Costa's paraconsistent logic \(C_{\omega}\)
- A semantical analysis of the calculi \(C_n\)
- Mathematical modal logic: A view of its evolution
- Paraconsistent logic from a modal viewpoint
- Topological separation principles and logical theories
- First-order modal logic
- On the theory of inconsistent formal systems
- The algebra of topology
- On closed elements in closure algebras
- TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC
- The Logic of Contradiction
- On the syntactical construction of systems of modal logic