A representation of proper BC domains based on conjunctive sequent calculi

DOI10.1017/S096012951900015XzbMath1478.03078OpenAlexW2981177003WikidataQ127018080 ScholiaQ127018080MaRDI QIDQ5220179

Longchun Wang, Qing-Guo Li

Publication date: 11 March 2020

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

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

zbMATH Keywords

categorical equivalenceconjunctive sequent calculusproper BC domain

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Continuous lattices and posets, applications (06B35) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (6)

Generalised information systems capture L-domains ⋮ Consistent disjunctive sequent calculi and Scott domains ⋮ The categorical equivalence between domains and interpolative generalized closure spaces ⋮ A logic for Lawson compact algebraic L-domains ⋮ Continuous Domains in Formal Concept Analysis* ⋮ Continuous L-domains in logical form

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Re-visiting axioms of information systems
• A logical approach to stable domains
• Information systems revisited -- the general continuous case
• Domain theory in logical form
• Continuous information systems
• Information systems for continuous posets
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Continuous Domain Theory in Logical Form
• Disjunctive systems and L-Domains
• Category Theory

This page was built for publication: A representation of proper BC domains based on conjunctive sequent calculi