Continuous information systems
From MaRDI portal
Publication:1260646
DOI10.1006/inco.1993.1039zbMath0789.68090OpenAlexW2021433230MaRDI QIDQ1260646
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
Scott domainsCartesian closedKaroubi envelopealgebraic information systemscategory of qualitative domainscontinuous information systemsqualitative information systems
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Continuous lattices and posets, applications (06B35) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
Related Items
Information systems for continuous semi-lattices, Representations of algebraic domains and algebraic L-domains by information systems, A note on finitely derived information systems, Formal contexts for algebraic domains, Generalised information systems capture L-domains, Information systems for continuous posets, A remark on the theory of semi-functors, A representation of L-domains by information systems, A generalization of de Vries duality to closed relations between compact Hausdorff spaces, Some categorical aspects of information systems and domains, Representation of algebraic domains by formal association rule systems, The categorical equivalence between domains and interpolative generalized closure spaces, 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, Comparing models of the intensional typed \(\lambda\)-calculus, Information systems revisited -- the general continuous case, I-categories as a framework for solving domain equations, Domains for Computation in Mathematics, Physics and Exact Real Arithmetic, Continuous Domains and their Information System Representation as Logical Systems, Various Constructions of Continuous Information Systems, A representation of continuous domains via relationally approximable concepts in a generalized framework of formal concept analysis, A representation of proper BC domains based on conjunctive sequent calculi, A categorical representation of algebraic domains based on variations of rough approximable concepts, Re-visiting axioms of information systems
