A representation of proper BC domains based on conjunctive sequent calculi
Sign Up to like & getrecommendations! Published in 2019 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s096012951900015x
Abstract: Abstract We build a logical system named a conjunctive sequent calculus which is a conjunctive fragment of the classical propositional sequent calculus in the sense of proof theory. We prove that a special class of… read more here.
Keywords: sequent; sequent calculus; proper domains; sequent calculi ... See more keywords
A dual-context sequent calculus for the constructive modal logic S4
Sign Up to like & getrecommendations! Published in 2022 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129522000378
Abstract: Abstract The proof theory of the constructive modal logic S4 (hereafter $\mathsf{CS4}$ ) has been settled since the beginning of this century by means of either standard natural deduction and sequent calculi or by the… read more here.
Keywords: sequent calculus; mathsf cs4; modal logic; constructive modal ... See more keywords