经典自然演绎法强正规化的一个简短证明
A short proof of the Strong Normalization of Classical Natural Deduction with Disjunction
摘要：
我们给出了一个直接的，纯粹的算术和初等证明的强规范化的削减消除程序充分（即在存在的所有通常的连接词）的经典自然演绎。
英文摘要：
We 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
