AbstractIt is well known that closure operators on a complete lattice, ordered pointwise, give rise to a complete lattice, and this basic fact plays an important rôle in many fields of the semantics area, notably in domain theory and abstract interpretation. We strengthen that result by showing that closure operators on any directed-complete partial order (CPO) still form a complete lattice. An example of application in abstract interpretation theory is given
Abstract. In this paper, a theorem on the existence of complete embedding of partially ordered monoi...
AbstractThe canonical extension of a lattice is in an essential way a two-sided completion. Domain t...
In this paper, a theorem on the existence of complete embedding of partially ordered monoids into co...
It is well known that closure operators on a complete lattice, ordered pointwise, give rise to a com...
It is well known that closure operators on a complete lattice, ordered pointwise, give rise to a com...
AbstractIt is well known that closure operators on a complete lattice, ordered pointwise, give rise ...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
Some recent results provide sufficient conditions for complete lattices of closure operators on comp...
AbstractSome recent results provide sufficient conditions for complete lattices of closure operators...
In 1960, José Morgado gave a necessary and sufficient condition on a poset P in order that closure ...
Some recent results provide sufficient conditions for complete lattices of closure operators on comp...
Some recent results provide sufficient conditions for complete lattices of closure operators on comp...
In 1960, José Morgado gave a necessary and sufficient condition on a poset P in order that closure ...
I prove a characterization theorem for algebraic bounded complete cpos similar to that for algebraic...
Abstract. In this paper, a theorem on the existence of complete embedding of partially ordered monoi...
AbstractThe canonical extension of a lattice is in an essential way a two-sided completion. Domain t...
In this paper, a theorem on the existence of complete embedding of partially ordered monoids into co...
It is well known that closure operators on a complete lattice, ordered pointwise, give rise to a com...
It is well known that closure operators on a complete lattice, ordered pointwise, give rise to a com...
AbstractIt is well known that closure operators on a complete lattice, ordered pointwise, give rise ...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
It is well known that for a given concrete domain $C$ which is a complete lattice, the abstract doma...
Some recent results provide sufficient conditions for complete lattices of closure operators on comp...
AbstractSome recent results provide sufficient conditions for complete lattices of closure operators...
In 1960, José Morgado gave a necessary and sufficient condition on a poset P in order that closure ...
Some recent results provide sufficient conditions for complete lattices of closure operators on comp...
Some recent results provide sufficient conditions for complete lattices of closure operators on comp...
In 1960, José Morgado gave a necessary and sufficient condition on a poset P in order that closure ...
I prove a characterization theorem for algebraic bounded complete cpos similar to that for algebraic...
Abstract. In this paper, a theorem on the existence of complete embedding of partially ordered monoi...
AbstractThe canonical extension of a lattice is in an essential way a two-sided completion. Domain t...
In this paper, a theorem on the existence of complete embedding of partially ordered monoids into co...
DOI
Add to ORKG