Church-Rosser property of a simple reduction for full first-order classical natural deduction
Church-Rosser property of a simple reduction for full first-order classical natural deduction
复制标题
完全一阶经典自然演绎的简单归约的 Church-Rosser 性质
DOI：
10.1016/s0168-0072(02)00051-9
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
Y. Andou
中科院分区：
文献类型：
--
作者：
Y. Andou
定义了一个与经典自然演绎对应的类型化项系统，它具有一个结论和完整的逻辑符号。利用扩展的并行约化方法证明了系统的Church-Rosser性质。
A system of typed terms which corresponds with the classical natural deduction with one conclusion and full logical symbols is defined. Church–Rosser property of the system is proved using an extended method of parallel reduction.