Second order permutative conversions with Prawitz's strong validity
Second order permutative conversions with Prawitz's strong validity
复制标题
具有 Prawitz 强有效性的二阶置换转换
DOI：
10.2201/niipi.2005.2.4
复制
发表时间：
2005
期刊：
影响因子：
--
通讯作者：
M. Tatsuta
中科院分区：
文献类型：
--
作者：
M. Tatsuta
利用Prawitz的强有效性，给出了具有置换转换的二阶自然演绎的强归一化的清晰完整的证明。本文完成了Prawitz的原始证明。
A clear and complete proof of strong normalization of second order natural deduction with permutative conversions is given by using Prawitz’s strong validity. This paper completes Prawitz’s original proof.