Continuous information systems

DOI10.1006/INCO.1993.1039MaRDI QIDQ1260646zbMATH OpenOpenAlexFDO

Authors R. Hoofman

Publication date 30 August 1993

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://dspace.library.uu.nl/handle/1874/16635

zbMATH Keywords

algebraic information systemsCartesian closedcategory of qualitative domainscontinuous information systemsKaroubi envelopequalitative information systemsScott domains

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55)

Recommendations

• Various constructions of continuous information systems
• scientific article; zbMATH DE number 3889526
• Information systems revisited -- the general continuous case
• Continuous systems
• Modeling and Using Context
• Information systems for continuous semi-lattices
• scientific article; zbMATH DE number 778825
• scientific article; zbMATH DE number 50188
• scientific article; zbMATH DE number 604128

Cited in

(32)

• Information categories
• A note on injective spaces.
• Weak algebraic information systems and a new equivalent category of DOM of domains
• Information systems for continuous semi-lattices
• Representations of stably continuous semi-lattices by information systems and abstract bases
• A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis
• A categorical representation of algebraic domains based on variations of rough approximable concepts
• Information systems for continuous posets
• Some categorical aspects of information systems and domains
• Re-visiting axioms of information systems
• The categorical equivalence between domains and interpolative generalized closure spaces
• Representations of algebraic domains and algebraic L-domains by information systems
• A note on finitely derived information systems
• Formal contexts for algebraic domains
• Representation of algebraic domains by formal association rule systems
• scientific article; zbMATH DE number 3889526 (Why is no real title available?)
• Domains for Computation in Mathematics, Physics and Exact Real Arithmetic
• The predicate completion of a partial information system
• Two Cartesian closed categories of information algebras
• A remark on the theory of semi-functors
• Continuous domains and their information system representation as logical systems
• A representation of proper BC domains based on conjunctive sequent calculi
• Various constructions of continuous information systems
• A generalization of de Vries duality to closed relations between compact Hausdorff spaces
• A note on information systems for continuous semi-lattices
• Comparing models of the intensional typed -calculus
• I-categories as a framework for solving domain equations
• Domains, information frames, and their logic
• A representation of Lawson compact L-domains by information systems
• Generalised information systems capture L-domains
• A representation of L-domains by information systems
• Information systems revisited -- the general continuous case

This page was built for publication: Continuous information systems

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