Canonical extensions and canonicity via dcpo presentations
type: Item
instance of: scholarly article
title: Canonical extensions and canonicity via dcpo presentations
zbMATH Open document ID: 1231.06013
author: Mai Gehrke
author: Jacob Vosmaer
published in: Theoretical Computer Science
publication date: 2011-06-06T00:00:00Z
Mathematics Subject Classification ID: 06B35
Mathematics Subject Classification ID: 06B23
Mathematics Subject Classification ID: 06D50
zbMATH DE Number: 5904442
zbMATH Keywords: dcpo presentation
zbMATH Keywords: dcpo algebra
zbMATH Keywords: canonical extension
MaRDI profile type: Publication
full work available at URL: j.tcs.2010.12.032
OpenAlex ID: W2159745276
cites work: Domain theory in logical form
cites work: Modal logic
cites work: Canonical extensions and relational completeness of some substructural logics
cites work: Bounded lattice expansions
cites work: Q4313857
cites work: Bounded distributive lattice expansions
cites work: A Sahlqvist theorem for distributive modal logic
cites work: Q3505082
cites work: Continuous Lattices and Domains
cites work: Varieties of complex algebras
cites work: Boolean Algebras with Operators. Part I
cites work: Presenting Dcpos and Dcpo Algebras
cites work: Universal and internal properties of some extensions of partially orderd sets.
DOI: 10.1016/J.TCS.2010.12.032
description: scientific article; zbMATH DE number 5904442