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)
06B23: Complete lattices, completions
06D15: Pseudocomplemented lattices
06A12: Semilattices
06A15: Galois correspondences, closure operators (in relation to ordered sets)
Related Items
The lattice of closure operators on a subgroup lattice, Refining and compressing abstract domains, 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., An abstract interpretation-based model for safety semantics
Cites Work