G(o^)del逻辑系统中广义语义HS规划和广义语义MP规则

摘要

将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G(o^)del逻辑系统中,讨论了G(o^)del逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G(o^)del系统中的广义重言式有了更进一步的认识,为G(o^)del逻辑系统的应用和研究提供一个有益的工具.