A representation of proper BC domains based on conjunctive sequent calculi
From MaRDI portal
Publication:5220179
DOI10.1017/S096012951900015XzbMath1478.03078OpenAlexW2981177003WikidataQ127018080 ScholiaQ127018080MaRDI QIDQ5220179
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
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