Re-visiting axioms of information systems

DOI10.1016/J.IC.2015.12.003zbMath1336.68159OpenAlexW2213176044MaRDI QIDQ259056

Mengqiao Huang, Xiang-Nan Zhou, Qing-Guo Li

Publication date: 10 March 2016

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

Full work available at URL: https://doi.org/10.1016/j.ic.2015.12.003

zbMATH Keywords

topologyinformation systemcategorical equivalencedomain

Mathematics Subject Classification ID

Knowledge representation (68T30) Semantics in the theory of computing (68Q55) Special categories (18B99) Continuous lattices and posets, applications (06B35)

Related Items (7)

Information systems for continuous semi-lattices ⋮ Generalised information systems capture L-domains ⋮ 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 ⋮ A representation of proper BC domains based on conjunctive sequent calculi ⋮ Bounded complete domains and their logical form

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Information systems revisited -- the general continuous case
• Domain theory in logical form
• \(dI\)--domains as prime information systems
• Continuous information systems
• Information systems for continuous posets
• RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS
• Continuous Lattices and Domains
• Continuous Domains and their Information System Representation as Logical Systems
• Conceptual Structures at Work

This page was built for publication: Re-visiting axioms of information systems