Information systems for continuous posets

DOI10.1016/0304-3975(93)90072-2zbMath0779.06006OpenAlexW2009183043WikidataQ126537329 ScholiaQ126537329MaRDI QIDQ2367538

Steven Vickers

Publication date: 2 September 1993

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

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90072-2

zbMATH Keywords

information systemscontinuous posetsHoffmann-Lawson dualitylocalic semilatticesVietoris algebrasVietoris power locales

Mathematics Subject Classification ID

Topological spaces and generalizations (closure spaces, etc.) (54A05) Semantics in the theory of computing (68Q55) Continuous lattices and posets, applications (06B35)

Related Items

Information systems for continuous semi-lattices, Constructive complete distributivity. IV, Representations of algebraic domains and algebraic L-domains by information systems, Probabilistic power domains, information systems, and locales, Unnamed Item, Presenting de Groot duality of stably compact spaces, A representation of L-domains by information systems, The localic compact interval is an Escardó‐Simpson interval object, A generalization of de Vries duality to closed relations between compact Hausdorff spaces, The patch construction is dual to algebraic DCPO representation, Some categorical aspects of information systems and domains, Unnamed Item, A note on injective spaces., Weak algebraic information systems and a new equivalent category of DOM of domains, Representations of stably continuous semi-lattices by information systems and abstract bases, Presenting locale pullback via directed complete posets, Entailment systems for stably locally compact locales, A universal characterization of the double powerlocale, The principle of pointfree continuity, Stably locally compact locales are dual to continuous posets, Information systems revisited -- the general continuous case, Domains for Computation in Mathematics, Physics and Exact Real Arithmetic, Various Constructions of Continuous Information Systems, Spatiality of countably presentable locales (proved with the Baire category theorem), A bitopological point-free approach to compactifications, Complete Regularity: Kopperman's duality {\it \`{a} la quantale}, Fibrations of AU-contexts beget fibrations of toposes, A Stone-type duality for \(s T_0\) stratified Alexandrov \(L\)-topological spaces, Unnamed Item, The topology of a quantale valued metric space, Unnamed Item, A representation of proper BC domains based on conjunctive sequent calculi, The connected Vietoris powerlocale, On the parallel between the suplattice and preframe approaches to locale theory, Re-visiting axioms of information systems

Cites Work

• The Hoare and Symth power domain constructors commute under composition
• Effectively given domains
• Domain theory in logical form
• Lower and upper power domain constructions commute on all cpos
• Continuous information systems
• Constructive complete distributivity. I
• Constructive complete distributivity II
• Quantales, observational logic and process semantics
• A Subdirect-Union Representation for Completely Distributive Complete Lattices
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item