A logic for Lawson compact algebraic L-domains

DOI10.1016/j.tcs.2020.01.025zbMath1481.03012OpenAlexW3003137710WikidataQ126304762 ScholiaQ126304762MaRDI QIDQ1989346

Longchun Wang, Qing-Guo Li

Publication date: 21 April 2020

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2020.01.025

zbMATH Keywords

domain theorydomain logicFD-latticeLawson compact algebraic L-domainsN-sequent calculus

Mathematics Subject Classification ID

Logic in computer science (03B70) Continuous lattices and posets, applications (06B35)

Related Items

Information systems for continuous semi-lattices ⋮ Generalised information systems capture L-domains ⋮ Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ The categorical equivalence between domains and interpolative generalized closure spaces ⋮ Continuous Domains in Formal Concept Analysis* ⋮ Continuous L-domains in logical form ⋮ Bounded complete domains and their logical form

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Essential and density topologies of continuous domains
• The probabilistic powerdomain from a topological viewpoint
• A logical approach to stable domains
• Domain theory in logical form
• Stone duality and representation of stable domain
• Entailment systems for stably locally compact locales
• Toward an infinitary logic of domains: Abramsky logic for transition systems
• Clausal logic and logic programming in algebraic domains
• Compact continuous \(L\)-domains
• The categorical equivalence between algebraic domains and F-augmented closure spaces.
• The equivalence of QRB, QFS, and compactness for quasicontinuous domains.
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Continuous Domain Theory in Logical Form
• A representation of proper BC domains based on conjunctive sequent calculi
• Category Theory