A View of Canonical Extension
From MaRDI portal
Publication:3019971
DOI10.1007/978-3-642-22303-7_6zbMath1341.03095arXiv1009.2803OpenAlexW2097991333MaRDI QIDQ3019971
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
relational semanticstopological dualitycanonical extensionfinitely generated varietieslattices with additional operationsspectral spaces with Scott topology
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