sL-approximation spaces capture sL-domains

DOI10.1017/S0960129525000052MaRDI QIDQ6993441zbMATH OpenFDO

Authors Guojun Wu, Luoshan Xu, Wei Yao

Publication date 25 April 2025

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129525000052

zbMATH Keywords

categorical equivalenceL-domainsL-approximation spacesL-domainupper approximation operator

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites work

• L-domains as locally continuous sequent calculi
• A direct approach to representing algebraic domains by formal contexts
• A formal study of a generalized rough set model based on subset approximation structure
• A representation of L-domains by information systems
• A representation of proper BC domains based on conjunctive sequent calculi
• A set-theoretic approach to algebraic \(\mathrm{L}\)-domains
• Algebraic aspects of generalized approximation spaces
• Cartesian closed categories of algebraic cpos
• Continuous L-domains in logical form
• Continuous Lattices and Domains
• Domains via approximation operators
• Formal topological characterizations of various continuous domains
• Generalised information systems capture L-domains
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 48157 (Why is no real title available?)
• scientific article; zbMATH DE number 1249514 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Information systems revisited -- the general continuous case
• Lattice Theory for Rough Sets
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• On the structure of generalized rough sets
• Representation theorems for directed completions of consistent algebraic \(L\)-domains
• Representations of domains via CF-approximation spaces
• Rough concept lattices and domains
• Rough sets
• The algebraic structures of generalized rough set theory
• Topological properties of generalized approximation spaces
• Topological representations of Lawson compact algebraic L-domains and Scott domains
• When do abstract bases generate continuous lattices and L-domains
• When does the class \([{\mathcal A} \longrightarrow {\mathcal B}]\) consist of continuous domains?

This page was built for publication: sL-approximation spaces capture sL-domains

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