A note on information systems for continuous semi-lattices

DOI10.1016/j.tcs.2024.114609MaRDI QIDQ6548962

Qing-Guo Li, Xiang-Nan Zhou, Haibo Jiang

Publication date: 3 June 2024

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

zbMATH Keywords

information systemscontinuous semilatticesapproximable mappingsbounded-complete domains

Mathematics Subject Classification ID

Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37) Continuous lattices and posets, applications (06B35)

Cites Work

• Representations of algebraic domains and algebraic L-domains by information systems
• Generalised information systems capture L-domains
• A representation of L-domains by information systems
• Information systems revisited -- the general continuous case
• Continuous information systems
• Information systems for continuous semi-lattices
• Representations of stably continuous semi-lattices by information systems and abstract bases
• 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

This page was built for publication: A note on information systems for continuous semi-lattices