Gdel逻辑系统中广义语义HS规划和广义语义MP规则  

Generalized Semantic MP Rule and Generalized Semantic HS Rule in Gdel Logic System

作　　者：吴洪博[1] 阎满富[2] 

机构地区：[1]陕西师范大学数学研究所,西安710062 [2]中国农业大学经济管理学院,北京100083

出　　处：《工程数学学报》2003年第3期56-62,共7页Chinese Journal of Engineering Mathematics

摘　　要：将修正的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.

关 键 词：模糊逻辑 Goedel逻辑系统 广义重言式 广义语义MP规则 广义语义HS规则 

分 类 号：O141.1[理学—数学]