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

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

作　　者：于鸿丽[1] 吴洪博[2] 

机构地区：[1]西安文理学院数学系,西安710065 [2]陕西师范大学数学与信息科学学院,西安710062

出　　处：《计算机工程与应用》2010年第22期52-53,87,共3页Computer Engineering and Applications

基　　金：国家自然科学基金No.10871121;西安文理学院中青年科研基金(No.kyc201040)~~

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

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

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