Report copyright - On the Construction of Analytic Sequent Calculi for Sub ...orilahav/papers/wollic_talk.pdf · A calculus is analytic if ‘ ) implies that there is a derivation of) using only subformulas
Please pass captcha verification before submit form