The categorical equivalence between domains and interpolative generalized closure spaces
From MaRDI portal
Publication:2698278
DOI10.1007/s11225-022-10024-3OpenAlexW4309200496MaRDI QIDQ2698278
Publication date: 21 April 2023
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-022-10024-3
Related Items (1)
Cites Work
- Re-visiting axioms of information systems
- Generalised information systems capture L-domains
- Information systems revisited -- the general continuous case
- Domain theory in logical form
- Continuous information systems
- Topology, domain theory and theoretical computer science
- General Stone duality.
- Stone-type representations and dualities for varieties of bisemilattices
- Closures on CPOs form complete lattices
- New representations of algebraic domains and algebraic L-domains via closure systems
- A logic for Lawson compact algebraic L-domains
- Continuous L-domains in logical form
- Representations of stably continuous semi-lattices by information systems and abstract bases
- The categorical equivalence between algebraic domains and F-augmented closure spaces.
- Closure spaces and completions of posets
- When do abstract bases generate continuous lattices and L-domains
- Rings of sets
- Continuous Lattices and Domains
- Non-Hausdorff Topology and Domain Theory
- A representation of continuous lattices based on closure spaces
- A representation of proper BC domains based on conjunctive sequent calculi
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The categorical equivalence between domains and interpolative generalized closure spaces
