The closure operators of a lattice
From MaRDI portal
Publication:2653385
Cited in
(39)- Closure categories
- Closures on CPOs form complete lattices
- Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements
- Lattices of closure operators
- On ideals and congruences of distributive demi-\(p\)-algebras.
- Completeness of string analysis for dynamic languages
- The Imbedding Operators on a Partially Ordered Set
- Connecting fuzzy preorders, fuzzy consequence operators and fuzzy closure and co-closure systems
- Refining and compressing abstract domains
- Permutable fuzzy consequence and interior operators and their connection with fuzzy relations
- Lattices With Involution
- Monoidal t-norm based logic: Towards a logic for left-continuous t-norms
- FORMATION OPERATORS ON CLASSES OF ALGEBRAS
- Weakening additivity in adjoining closures
- Making abstract models complete
- Closure operations on intuitionistic linear algebras
- Increasing and decreasing operators on complete lattices
- Regular languages and Stone duality
- The reduced relative power operation on abstract domains
- Constructive design of a hierarchy of semantics of a transition system by abstract interpretation
- On closure operators
- The lattice of algebraic closure operators on an infinite subgroup lattice
- Congruence relations on a choice space
- Closure operations on MV-algebras
- The lattice of closure operators on a subgroup lattice
- Set-sharing is redundant for pair-sharing
- The Mathematical Work of Morgan Ward
- On implicative closure operators in approximate reasoning.
- A characterization of distributive lattices
- Closure and preferences
- Upper semicontinuity of set-valued functions
- Closure functions and general iterates as reflectors
- A Note on Complete Separation in the Stone Topology
- Morphisms and order ideals of toric posets
- Quelques propriétés des ensembles de fermetures sur un ensemble ordonne
- Transforming Abstract Interpretations by Abstract Interpretation
- Lattices with Interior and Closure Operators and Abstract Approximation Spaces
- Algebraic methods for rough approximation spaces by lattice interior-closure operations
- Equivalence relations determining useful properties
This page was built for publication: The closure operators of a lattice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2653385)
