A representation of proper BC domains based on conjunctive sequent calculi

DOI10.1017/S096012951900015XzbMATH Open1478.03078OpenAlexW2981177003WikidataQ127018080 ScholiaQ127018080MaRDI QIDQ5220179FDOQ5220179

Longchun Wang, Qingguo 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

Recommendations

• Consistent disjunctive sequent calculi and Scott domains
• A proper hierarchy of propositional sequent calculi
• A Sequent Calculus for Bilattice-Based Logic and Its Many-Sorted Representation
• scientific article; zbMATH DE number 1223614
• A cut-free sequent calculus for the logic of constant domains with a limited amount of duplications
• A sequent calculus and a theorem prover for standard conditional logics
• Sequent calculi for choice logics
• Relating sequent calculi for bi-intuitionistic propositional logic
• Generic methods for formalising sequent calculi applied to provability logic
• A labelled sequent calculus for BBI: proof theory and proof search

zbMATH Keywords

categorical equivalenceconjunctive sequent calculusproper BC domain

Mathematics Subject Classification ID

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

Cites Work

• Domain theory in logical form
• Continuous information systems
• Information systems for continuous posets
• Re-visiting axioms of information systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Lattices and Domains
• Information systems revisited -- the general continuous case
• Disjunctive systems and L-Domains
• A logical approach to stable domains
• Non-Hausdorff Topology and Domain Theory
• Title not available (Why is that?)
• Category Theory
• A categorical view on algebraic lattices in formal concept analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Continuous Domain Theory in Logical Form

Cited In (7)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5220179)