Representations of stably continuous semi-lattices by information systems and abstract bases

DOI10.1016/J.IPL.2020.106036MaRDI QIDQ2224847zbMATH OpenOpenAlexFDO

Authors Longchun Wang, Qingguo Li

Publication date 4 February 2021

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2020.106036

zbMATH Keywords

formal languagesdomain theoryinformation systemsabstract basesstably continuous semilattices

Mathematics Subject Classification ID

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

Recommendations

• Information systems for continuous semi-lattices
• Information systems revisited -- the general continuous case
• A representation of L-domains by information systems
• scientific article; zbMATH DE number 1829243
• Semi-bases and local semi-bases on semicontinuous lattices.

Cites work

• 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 1339952 (Why is no real title available?)
• scientific article; zbMATH DE number 1498608 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• A representation of L-domains by information systems
• A representation of SFP
• Category Theory
• Continuous Lattices and Domains
• Continuous information systems
• Effectively given domains
• Information systems for continuous posets
• Information systems revisited -- the general continuous case
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Re-visiting axioms of information systems
• Representations of algebraic domains and algebraic L-domains by information systems
• Representing L-domains as information systems
• Some categorical aspects of information systems and domains
• When do abstract bases generate continuous lattices and L-domains

Cited in

(8)

• The categorical equivalence between domains and interpolative generalized closure spaces
• Information systems for continuous semi-lattices
• A representation of arithmetic semilattices by information systems
• A note on information systems for continuous semi-lattices
• Ambiguous representations of semilattices, imperfect information, and predicate transformers
• Information systems for continuous posets
• Bounded complete domains and their logical form
• A set-theoretic representation of algebraic L-domains

This page was built for publication: Representations of stably continuous semi-lattices by information systems and abstract bases

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