逻辑系统H_α中广义语义MP规则证明的改进

Improvement in proving generalized semantic MP rule of H_α logic system

将修正的Kleene逻辑系统中语义MP规则推广后应用于Hα逻辑系统中,讨论了Hα逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α+]-MP)规则,使得对Hα系统中的广义语义MP规则有了更进一步的认识。另外,逻辑系统Wˉ中的广义语义MP规则也成为一个特例。

The generalized semantic MP rule in the revised Kleene logic system has been applied to Hα logic system.The properties of semantic （[a]- MP） rule, semantic （[a＋]- MP） rule of generalized tautologies in Hα logic system have been dis- cussed deeply. In addition, generalized semantic MP rule of the w in the logic system is the special example of this text.