Information systems for continuous posets

DOI10.1016/0304-3975(93)90072-2MaRDI QIDQ2367538zbMATH OpenOpenAlexWikidataFDO

Authors 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

continuous posetsHoffmann-Lawson dualityinformation systemslocalic semilatticesVietoris algebrasVietoris power locales

Mathematics Subject Classification ID

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

Recommendations

• Information systems for continuous semi-lattices
• Continuous domains and their information system representation as logical systems
• Various constructions of continuous information systems
• Information systems revisited -- the general continuous case
• Formal Topology and Information Systems
• Some topological properties of information systems
• Relative continuous poset and its application
• Representations of stably continuous semi-lattices by information systems and abstract bases
• Communications and forum
• A note on finitely derived information systems

Cites work

• A Subdirect-Union Representation for Completely Distributive Complete Lattices
• Constructive complete distributivity II
• Constructive complete distributivity. I
• Continuous information systems
• Domain theory in logical form
• Effectively given domains
• scientific article; zbMATH DE number 4179422 (Why is no real title available?)
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 3929909 (Why is no real title available?)
• scientific article; zbMATH DE number 4045109 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 3787631 (Why is no real title available?)
• scientific article; zbMATH DE number 19490 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• Lower and upper power domain constructions commute on all cpos
• Quantales, observational logic and process semantics
• The Hoare and Symth power domain constructors commute under composition

Cited in

(40)

• The connected Vietoris powerlocale
• Constructive complete distributivity. IV
• A note on injective spaces.
• Presenting locale pullback via directed complete posets
• Entailment systems for stably locally compact locales
• A universal characterization of the double powerlocale
• Weak algebraic information systems and a new equivalent category of DOM of domains
• Stably locally compact locales are dual to continuous posets
• The topology of a quantale valued metric space
• Information systems for continuous semi-lattices
• Presenting de Groot duality of stably compact spaces
• Representations of stably continuous semi-lattices by information systems and abstract bases
• Some categorical aspects of information systems and domains
• On the parallel between the suplattice and preframe approaches to locale theory
• Re-visiting axioms of information systems
• Representations of algebraic domains and algebraic L-domains by information systems
• The principle of pointfree continuity
• scientific article; zbMATH DE number 3889526 (Why is no real title available?)
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• scientific article; zbMATH DE number 1154167 (Why is no real title available?)
• scientific article; zbMATH DE number 1978312 (Why is no real title available?)
• The predicate completion of a partial information system
• Predicative theories of continuous lattices
• Point-free construction of real exponentiation
• scientific article; zbMATH DE number 7587436 (Why is no real title available?)
• The localic compact interval is an Escardó-Simpson interval object
• Complete regularity à la quantale
• Fibrations of AU-contexts Beget fibrations of toposes
• A representation of proper BC domains based on conjunctive sequent calculi
• Various constructions of continuous information systems
• A bitopological point-free approach to compactifications
• Spatiality of countably presentable locales (proved with the Baire category theorem)
• Probabilistic power domains, information systems, and locales
• A generalization of de Vries duality to closed relations between compact Hausdorff spaces
• The patch construction is dual to algebraic DCPO representation
• A note on information systems for continuous semi-lattices
• A representation of Lawson compact L-domains by information systems
• A Stone-type duality for s T₀ stratified Alexandrov L-topological spaces
• A representation of L-domains by information systems
• Information systems revisited -- the general continuous case

This page was built for publication: Information systems for continuous posets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2367538)