Topological separation principles and logical theories

DOI10.1023/A:1005263111635zbMATH Open0970.03029OpenAlexW123085489MaRDI QIDQ1840979FDOQ1840979

Authors Chris Mortensen 

Publication date 21 October 2001

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005263111635

zbMATH Keywords

dualityparaconsistent logicintuitionismseparation propertiesclosed set logiclogical theories on topological spaces

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Recommendations

• Some topological properties of paraconsistent models
• Intuitionistic logic and modality via topology
• Modal logic S4 as a paraconsistent logic with a topological semantics
• A topological characterization of consistency of logic theories in propositional logic
• Da Costa meets Belnap and Nelson

Cited in

(6)

• Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
• Logic, topology, and integration
• A Yabloesque paradox in epistemic game theory
• Mortensen logics
• Some topological properties of paraconsistent models
• scientific article; zbMATH DE number 3924775 (Why is no real title available?)

This page was built for publication: Topological separation principles and logical theories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840979)