Continuous L-domains in logical form

DOI10.1016/J.APAL.2021.102993OpenAlexW3164763232MaRDI QIDQ2041961

Longchun Wang, Xiang-Nan Zhou, Qing-Guo Li

Publication date: 26 July 2021

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.2021.102993

zbMATH Keywords

categorical equivalencedomain theorydisjunctive propositional logicapproximable dD-algebracontinuous L-domain

Mathematics Subject Classification ID

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

Related Items (3)

Topological representations of Lawson compact algebraic L-domains and Scott domains ⋮ The categorical equivalence between domains and interpolative generalized closure spaces ⋮ Bounded complete domains and their logical form

Cites Work

• Unnamed Item
• Unnamed Item
• A logical approach to stable domains
• Domain theory in logical form
• Metamathematics of fuzzy logic
• 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
• A logic for Lawson compact algebraic L-domains
• Continuous domains in logical form
• 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

This page was built for publication: Continuous L-domains in logical form