A logical representation of L-domains satisfying property \textbf{M}

DOI10.1016/J.APAL.2026.103804MaRDI QIDQ7304787zbMATH OpenFDO

Authors Haibo Jiang, Qingguo Li, Xiangnan Zhou

Publication date 28 July 2026

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.APAL.2026.103804

Mathematics Subject Classification ID

Logic in computer science (03B70) Semilattices (06A12) Continuous lattices and posets, applications (06B35) Semantics in the theory of computing (68Q55)

Cites work

• L-domains as locally continuous sequent calculi
• \(RW\)-spaces and compactness of function spaces for L-domains
• A logic for Lawson compact algebraic L-domains
• A logical approach to stable domains
• A representation of Lawson compact L-domains by information systems
• A representation of proper BC domains based on conjunctive sequent calculi
• Bounded complete domains and their logical form
• Category Theory
• Compact continuous \(L\)-domains
• Consistent disjunctive sequent calculi and Scott domains
• Continuous L-domains in logical form
• Continuous Lattices and Domains
• Disjunctive systems and L-Domains
• Domain theory in logical form
• Function spaces from core compact coherent spaces to continuous B-domains
• Function spaces from Lawson compact continuous domains to continuous B-domains
• scientific article; zbMATH DE number 48416 (Why is no real title available?)
• scientific article; zbMATH DE number 1231573 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• Lawson compactness on function spaces of domains
• Maximal classes of topological spaces and domains determined by function spaces
• Solutions to two problems of J. D. Lawson and M. Mislove

This page was built for publication: A logical representation of L-domains satisfying property \textbf{M}

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