Topological duality and algebraic completions

DOI10.1007/978-3-030-76920-8_4OpenAlexW4200116785MaRDI QIDQ6120604

Mai Gehrke

Publication date: 25 March 2024

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-76920-8_4

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

Related Items

Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
• Algebraic proof theory for substructural logics: cut-elimination and completions
• Algorithmic correspondence and canonicity for distributive modal logic
• Distributive envelopes and topological duality for lattices via canonical extensions.
• Canonical extensions and canonicity via dcpo presentations
• Canonical extensions for congruential logics with the deduction theorem
• A Sahlqvist theorem for distributive modal logic
• Generalising canonical extension to the categorical setting
• On profinite completions and canonical extensions
• Generalized Kripke frames
• Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations
• Residuated lattices. An algebraic glimpse at substructural logics
• The Dedekind-MacNeille completion as a reflector
• A topological representation of lattices
• A topological representation theory for lattices
• On the canonicity of Sahlqvist identities
• Sahlqvist's theorem for Boolean algebras with operators with an application to cylindric algebras
• Constructive canonicity in non-classical logics
• General Stone duality.
• \(\Delta_1\)-completions of a poset.
• Priestley duality for MV-algebras and beyond
• Topological duality and lattice expansions. I: A topological construction of canonical extensions.
• Topological duality and lattice expansions. II: Lattice expansions with quasioperators.
• Duality for double quasioperator algebras via their canonical extensions
• A topological duality for posets
• Categorial characterization of the MacNeille completion
• Varieties of complex algebras
• The canonical FEP construction
• A View of Canonical Extension
• Hüllensysteme und Erweiterung von Quasi‐Ordnungen
• The McKinsey axiom is not canonical
• Bounded distributive lattice expansions
• A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC
• Canonical Extensions, Esakia Spaces, and Universal Models
• Completions of B<scp>OOLEAN</scp> Algebras with operators
• Injective Hulls of Semilattices
• MacNeille completions and canonical extensions
• Canonical extensions and relational completeness of some substructural logics
• Choice functions and Tychonoff’s theorem
• Boolean Algebras with Operators. Part I
• Boolean Algebras with Operators
• On the completion by cuts of distributive lattices
• The preservation of Sahlqvist equations in completions of Boolean algebras with operators
• Bounded lattice expansions