Information systems for continuous semi-lattices

DOI10.1016/J.TCS.2022.02.020zbMath1483.68183OpenAlexW4213038327MaRDI QIDQ2123056

Longchun Wang, Xiang-Nan Zhou, Qing-Guo Li

Publication date: 7 April 2022

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2022.02.020

zbMATH Keywords

information systemsdomain theorycontinuous semilatticesbounded complete domainsScott-continuous functions

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items (1)

A set-theoretic representation of algebraic L-domains

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Re-visiting axioms of information systems
• Generalised information systems capture L-domains
• A representation of L-domains by information systems
• Information systems revisited -- the general continuous case
• Event structures and domains
• Effectively given domains
• \(dI\)--domains as prime information systems
• Continuous information systems
• A representation of SFP
• Weak algebraic information systems and a new equivalent category of DOM of domains
• A logic for Lawson compact algebraic L-domains
• Representations of stably continuous semi-lattices by information systems and abstract bases
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• Information systems for continuous posets
• Some categorical aspects of information systems and domains
• QRB-Domains and the Probabilistic Powerdomain
• Continuous Lattices and Domains

This page was built for publication: Information systems for continuous semi-lattices