intermediate calculus between Natural and Sequent Calculus

69 Views Asked by At

So as to formalize arithmetic, Gentzen uses an intermediate calculus between the two basic calculi NK and LK. In such calculus, for example, one can deduce $\supset$-elimination rule: $\Delta,\Gamma \Rightarrow $ from $\Delta \Rightarrow \supset $ and $\Gamma \Rightarrow $. My question is how can we obtain the intermediate calculus from Natural deduction NK and Sequent Calculus LK?