A Problem of Normal Form in Natural Deduction
A Problem of Normal Form in Natural Deduction
复制标题
自然演绎中的范式问题
DOI：
--
复制
发表时间：
2000
影响因子：
0.3
通讯作者：
J. Plato
中科院分区：
文献类型：
--
作者：
J. Plato
最近埃克曼在自然演绎中给出了一个推导，它要么包含大量的冗余部分，要么不正常。它表明，这个问题是由一个非正常固有的通常的肯定前件规则。
Recently Ekman gave a derivation in natural deduction such that it either contains a substantial redundant part or else is not normal. It is shown that this problem is caused by a non-normality inherent in the usual modus ponens rule.