Consistent disjunctive sequent calculi and Scott domains

DOI10.1017/S0960129521000086OpenAlexW3193339507MaRDI QIDQ5048008

Longchun Wang, Qing-Guo Li

Publication date: 17 November 2022

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

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

zbMATH Keywords

fixed pointcategorical equivalenceScott domaindomain equationconsistent disjunctive sequent calculus

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logical approach to stable domains
• Information systems revisited -- the general continuous case
• Domain theory in logical form
• Entailment systems for stably locally compact locales
• Categories of locally hypercompact spaces and quasicontinuous posets
• Continuous Lattices and Domains
• Non-Hausdorff Topology and Domain Theory
• Continuous Domain Theory in Logical Form
• Disjunctive systems and L-Domains
• A representation of proper BC domains based on conjunctive sequent calculi

This page was built for publication: Consistent disjunctive sequent calculi and Scott domains