On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions
On the Strong Normalisation of Intuitionistic Natural Deduction with Permutation-Conversions
复制标题
论直觉自然演绎的排列变换的强规范化
DOI：
--
复制
发表时间：
2002
影响因子：
1
通讯作者：
P. D. Groote
中科院分区：
文献类型：
--
作者：
P. D. Groote
我们提出了具有置换转换的直觉逻辑强规范化的模块化证明。这个证明是基于负翻译和CPS模拟的概念。
We present a modular proof of the strong normalisation of intuitionistic logic with permutation-conversions. This proof is based on the notions of negative translation and CPS-simulation.