A short proof of the strong normalization of classical natural deduction with disjunction
A short proof of the strong normalization of classical natural deduction with disjunction
复制标题
经典自然演绎与析取的强规范化的简短证明
DOI：
10.2178/jsl/1067620187
复制
发表时间：
2003
影响因子：
0.6
通讯作者：
Karim Nour
中科院分区：
文献类型：
--
作者：
R. David;Karim Nour
本文给出了完全（即，在所有常见的连接词的存在）经典的自然演绎。
Abstract 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.