Topo-canonical completions of closure algebras and Heyting algebras
From MaRDI portal
Publication:2476160
DOI10.1007/s00012-007-2032-2zbMath1135.06009OpenAlexW2087748395MaRDI QIDQ2476160
Patrick J. Morandi, Ray Mines, Guram Bezhanishvili
Publication date: 12 March 2008
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00012-007-2032-2
Heyting algebras (lattice-theoretic aspects) (06D20) Extensions of spaces (compactifications, supercompactifications, completions, etc.) (54D35) Stone spaces (Boolean spaces) and related structures (06E15) Boolean algebras with additional operations (diagonalizable algebras, etc.) (06E25)
Related Items
Admissible bases via stable canonical rules ⋮ Continuity, freeness, and filtrations ⋮ Topological representation of intuitionistic and distributive abstract logics ⋮ On open maps and related functions over the Salbany compactification ⋮ Connected modal logics ⋮ Unnamed Item ⋮ STABLE CANONICAL RULES ⋮ Canonical extensions and ultraproducts of polarities ⋮ STABLE MODAL LOGICS ⋮ Modal languages for topology: expressivity and definability ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 ⋮ Topological Perspective on the Hybrid Proof Rules
