Re-visiting axioms of information systems

DOI10.1016/J.IC.2015.12.003MaRDI QIDQ259056zbMATH OpenOpenAlexFDO

Authors Mengqiao Huang, Xiangnan Zhou, Qingguo 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

categorical equivalencedomaininformation systemtopology

Mathematics Subject Classification ID

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

Recommendations

• Maximal consistent extensions of information systems relative to their theories
• Information systems revisited -- the general continuous case
• Theory of information systems
• scientific article; zbMATH DE number 1931887
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing

Cites work

• dI--domains as prime information systems
• Conceptual Structures at Work
• Continuous domains and their information system representation as logical systems
• Continuous information systems
• Continuous Lattices and Domains
• Domain theory in logical form
• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 5080679 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 195199 (Why is no real title available?)
• Information systems for continuous posets
• Information systems revisited -- the general continuous case
• RESTRUCTURING LATTICE THEORY: AN APPROACH BASED ON HIERARCHIES OF CONCEPTS

Cited in

(12)

• On the structure of Blackwell's equivalence classes of information systems
• Weak algebraic information systems and a new equivalent category of DOM of domains
• Bounded complete domains and their logical form
• Information systems for continuous semi-lattices
• Representations of stably continuous semi-lattices by information systems and abstract bases
• The categorical equivalence between domains and interpolative generalized closure spaces
• scientific article; zbMATH DE number 1790351 (Why is no real title available?)
• A representation of proper BC domains based on conjunctive sequent calculi
• Information Systems with Witnesses: The Function Space Construction
• Domains, information frames, and their logic
• A representation of Lawson compact L-domains by information systems
• Generalised information systems capture L-domains

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

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