A strict implication calculus for compact Hausdorff spaces
DOI10.1016/j.apal.2019.06.003zbMath1446.03041OpenAlexW2954562902WikidataQ127560757 ScholiaQ127560757MaRDI QIDQ2326420
T. Santoli, Guram Bezhanishvili, Nick Bezhanishvili, Yde Venema
Publication date: 7 October 2019
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2019.06.003
modal logicStone spacecompact Hausdorff spaceGleason coverextremally disconnected spaceBoolean algebra with operatorsstrict implicationde Vries algebra
Modal logic (including the logic of norms) (03B45) Proximity structures and generalizations (54E05) Stone spaces (Boolean spaces) and related structures (06E15) Extremally disconnected spaces, (F)-spaces, etc. (54G05) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items (5)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Projective topological spaces
- Stone duality and Gleason covers through de Vries duality
- Decidability for branching time
- Model theory.
- Locally finite varieties.
- Irreducible equivalence relations, Gleason spaces, and de Vries duality
- Region-based theory of discrete spaces: A proximity approach
- Using the Universal Modality: Gains and Questions
- Derivation rules as anti-axioms in modal logic
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers
- Continuous Lattices and Domains
This page was built for publication: A strict implication calculus for compact Hausdorff spaces