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

zbMATH Keywords

modal logicStone spacecompact Hausdorff spaceGleason coverextremally disconnected spaceBoolean algebra with operatorsstrict implicationde Vries algebra

Mathematics Subject Classification ID

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)

A variety of algebras closely related to subordination algebras ⋮ MODAL OPERATORS ON RINGS OF CONTINUOUS FUNCTIONS ⋮ Subordinations on bounded distributive lattices ⋮ Beth definability and the Stone-Weierstrass theorem ⋮ Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras

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