Report copyright - Lecture Notes on Sequent Calculusfp/courses/15816-s10/... · 2/9/2010 · L8.8 Sequent Calculus 4 Cut Elimination Our sequent calculus so far lacks the rule of cut: Γ ‘ Aright
Please pass captcha verification before submit form
Please pass captcha verification before submit form