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

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

zbMATH Keywords

dualityparaconsistent logicintuitionismseparation propertiesclosed set logiclogical theories on topological spaces

Mathematics Subject Classification ID

Paraconsistent logics (03B53)

Cited In (6)

• Mortensen logics
• Logic, topology, and integration
• Some topological properties of paraconsistent models
• Title not available (Why is that?)
• Topological Semantics for da Costa Paraconsistent Logics $$C_\omega $$ C ω and $$C^{*}_\omega $$ C ω ∗
• A Yabloesque paradox in epistemic game theory

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)