Logichard
0:00.0
In proof theory, Gentzen's Cut Elimination Theorem (or Strong Normalization) states that any derivation in the sequent calculus can be transformed into a normal form that does not use the Cut rule. Which of the following is a direct consequence of this theorem for propositional logic?
In proof theory, Gentzen's Cut Elimination Theorem (or Strong Normalization) states that any derivation in the sequent calculus can be transformed into a normal form that does not use the Cut rule. Which of the following is a direct consequence of this theorem for propositional logic?