A representation of proper BC domains based on conjunctive sequent calculi

DOI10.1017/S096012951900015XMaRDI QIDQ5220179zbMATH OpenOpenAlexWikidataFDO

Authors 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

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)

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

Cites work

• scientific article; zbMATH DE number 3858394 (Why is no real title available?)
• scientific article; zbMATH DE number 3976991 (Why is no real title available?)
• scientific article; zbMATH DE number 3780545 (Why is no real title available?)
• scientific article; zbMATH DE number 1339952 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• A categorical view on algebraic lattices in formal concept analysis
• A logical approach to stable domains
• Category Theory
• Continuous Lattices and Domains
• Continuous domain theory in logical form
• Continuous information systems
• Disjunctive systems and L-Domains
• Domain theory in logical form
• Information systems for continuous posets
• Information systems revisited -- the general continuous case
• Introduction to mathematical logic and resolution principle
• Non-Hausdorff topology and domain theory. Selected topics in point-set topology
• Re-visiting axioms of information systems

Cited in

(7)

• Generalised information systems capture L-domains
• A logic for Lawson compact algebraic L-domains
• Continuous L-domains in logical form
• Continuous domains in formal concept analysis
• 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)