Information systems revisited -- the general continuous case

DOI10.1016/j.tcs.2008.06.032zbMath1158.68023OpenAlexW2072231667MaRDI QIDQ949623

Luoshan Xu, Dieter Spreen, Xuxin Mao

Publication date: 21 October 2008

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

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

zbMATH Keywords

information systemscontinuous domains

Mathematics Subject Classification ID

Knowledge representation (68T30) Semantics in the theory of computing (68Q55)

Related Items (20)

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 ⋮ Consistent disjunctive sequent calculi and Scott domains ⋮ Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ A set-theoretic representation of algebraic L-domains ⋮ A representation of L-domains by information systems ⋮ Representation of algebraic domains by formal association rule systems ⋮ The categorical equivalence between domains and interpolative generalized closure 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 ⋮ Continuous Domains in Formal Concept Analysis* ⋮ 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 ⋮ Bounded complete domains and their logical form ⋮ A categorical representation of algebraic domains based on variations of rough approximable concepts ⋮ Re-visiting axioms of information systems

Cites Work

• Non-deterministic information systems and their domains
• The system \({\mathcal F}\) of variable types, fifteen years later
• Event structures and domains
• \(dI\)--domains as prime information systems
• Continuous information systems
• A representation of SFP
• When is the ideal completion of abstract basis algebraic
• Information systems for continuous posets
• Continuous Lattices and Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Information systems revisited -- the general continuous case