Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗

DOI10.1007/978-81-322-2719-9_19zbMath1423.03093OpenAlexW2473018460MaRDI QIDQ5241535

Can Başkent

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

zbMATH Keywords

paraconsistent logictopological semanticsda Costa logics

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

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