摘要
将修正的Kleene逻辑系统中语义MP规则和语义HS规则推广后应用于G¨odel逻辑系统中,讨论了G¨odel逻辑系统中广义重言式理论的语义([α]-MP)规则,语义([α]-HS)规则,语义([α+]-MP)规则,语义([α+]-HS)规则的性质,使得对G¨odel系统中的广义重言式有了更进一步的认识,为G¨odel逻辑系统的应用和研究提供一个有益的工具。
The generalized semantic MP rule and generalized semantic HS rule in the revised Kleene logic system have been applied to Gdel logic system. The properties of semantic ([α]-MP) ruel, and semantic ([α]-HS) rule, semantic ([α+]-MP) ruel, and semantic ([α+]-HS) rule of generalized tautology's theory in Gdel logic system have been discussed. This work is a useful tool for further research on generalized tautologies in Gdel logic system.
出处
《工程数学学报》
CSCD
北大核心
2003年第3期56-62,共7页
Chinese Journal of Engineering Mathematics
