Various Constructions of Continuous Information Systems

DOI10.1016/j.entcs.2008.04.069zbMath1286.68481OpenAlexW2039082066MaRDI QIDQ5415627

Luoshan Xu, Xuxin Mao

Publication date: 13 May 2014

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.069

zbMATH Keywords

subsystemretractconstructionapproximable mappingalgebraic kernelcontinuous information system

Mathematics Subject Classification ID

Logic in computer science (03B70) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35)

Related Items

Weak algebraic information systems and a new equivalent category of DOM of domains

Cites Work

• Non-deterministic information systems and their domains
• Information systems revisited -- the general continuous case
• Event structures and domains
• \(dI\)--domains as prime information systems
• Continuous information systems
• A representation of SFP
• When does the class \([{\mathcal A} \longrightarrow {\mathcal B}\) consist of continuous domains?]
• Information systems for continuous posets
• Continuous Lattices and Domains
• Disjunctive systems and L-Domains
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item