Abstract
AbstractWe give a direct, purely arithmetical and elementary proof of the strong normalization of the cut-elimination procedure for full (i.e., in presence of all the usual connectives) classical natural deduction.
Publisher
Cambridge University Press (CUP)
Cited by
28 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Outline of the cut-elimination theorem;An Introduction to Proof Theory;2021-08-17
2. Sequent calculus;An Introduction to Proof Theory;2021-08-17
3. Natural deduction;An Introduction to Proof Theory;2021-08-17
4. Exercises on axiomatic derivations;An Introduction to Proof Theory;2021-08-17
5. Axioms, rules, and theorems of axiomatic calculi;An Introduction to Proof Theory;2021-08-17