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

DOI10.1016/J.IPL.2020.106036zbMATH Open1506.68052OpenAlexW3092297413MaRDI QIDQ2224847FDOQ2224847

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

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.

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)

Cites Work

• Continuous information systems
• Information systems for continuous posets
• Re-visiting axioms of information systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Title not available (Why is that?)
• Information systems revisited -- the general continuous case
• A representation of SFP
• Representations of algebraic domains and algebraic L-domains by information systems
• Representing L-domains as information systems
• A representation of L-domains by information systems
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Category Theory
• Title not available (Why is that?)
• Effectively given domains
• Title not available (Why is that?)
• Some categorical aspects of information systems and domains
• When do abstract bases generate continuous lattices and L-domains

Cited In (8)

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

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)