A View of Canonical Extension

DOI10.1007/978-3-642-22303-7_6zbMath1341.03095arXiv1009.2803OpenAlexW2097991333MaRDI QIDQ3019971

Mai Gehrke, Jacob Vosmaer

Publication date: 29 July 2011

Published in: Logic, Language, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1009.2803

zbMATH Keywords

relational semanticstopological dualitycanonical extensionfinitely generated varietieslattices with additional operationsspectral spaces with Scott topology

Mathematics Subject Classification ID

Lattices and duality (06D50) Other algebras related to logic (03G25) Continuous lattices and posets, applications (06B35)

Related Items (13)

Canonical extensions of lattices are more than perfect ⋮ A fresh perspective on canonical extensions for bounded lattices. ⋮ Topological duality and algebraic completions ⋮ Semantic Analysis of Subexponential Modalities in Distributive Non-commutative Linear Logic ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Canonical extensions and discrete dualities for finitely generated varieties of lattice-based algebras ⋮ TiRS graphs and TiRS frames: a new setting for duals of canonical extensions ⋮ Tribute to Bjarni Jónsson ⋮ A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras ⋮ Canonical extensions and profinite completions of semilattices and lattices ⋮ Canonical extensions and ultraproducts of polarities ⋮ Residuation algebras with functional duals ⋮ Canonical Extensions, Esakia Spaces, and Universal Models

This page was built for publication: A View of Canonical Extension