Weak relative pseudo-complements of closure operators
From MaRDI portal
Publication:1272226
DOI10.1007/BF01236765zbMath0901.06003MaRDI QIDQ1272226
Francesco Ranzato, Catuscia Palamidessi, Roberto Giacobazzi
Publication date: 24 November 1998
Published in: Algebra Universalis (Search for Journal in Brave)
Complete lattices, completions (06B23) Pseudocomplemented lattices (06D15) Semilattices (06A12) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items
The lattice of closure operators on a subgroup lattice, Refining and compressing abstract domains, An abstract interpretation-based model for safety semantics, The lattice of algebraic closure operators on an infinite subgroup lattice, Transforming semantics by abstract interpretation, Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements, The reduced relative power operation on abstract domains, Closures on CPOs form complete lattices, A timed concurrent constraint language.
Cites Work
