A set-theoretic approach to algebraic \(\mathrm{L}\)-domains

DOI10.1017/S0960129524000069MaRDI QIDQ6620017

Longchun Wang, Yuhan Zhao, Juan Zou, Cuixia Miao

Publication date: 16 October 2024

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

zbMATH Keywords

domain theoryalgebraic \(\mathrm{L}\)-domainalgebraic intersection structurestone's representation theorem

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formal contexts for algebraic domains
• Generalised information systems capture L-domains
• A logical approach to stable domains
• A representation of L-domains by information systems
• Information systems revisited -- the general continuous case
• Domain theory in logical form
• Stone duality and representation of stable domain
• New representations of algebraic domains and algebraic L-domains via closure systems
• Rings of sets.
• The categorical equivalence between domains and interpolative generalized closure spaces
• Continuous Lattices and Domains
• \(L\)-domains as locally continuous sequent calculi

This page was built for publication: A set-theoretic approach to algebraic \(\mathrm{L}\)-domains

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