系统H_a中广义语义MP规则与广义语义HS规则  

Generalized semantic MP rules and generalized semantic HS rules of the system H_a

作　　者：关晓红[1] 折延宏[1] 王国俊[1] 

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

出　　处：《陕西师范大学学报（自然科学版）》2007年第1期9-12,33,共5页Journal of Shaanxi Normal University：Natural Science Edition

基　　金：国家自然科学基金重点资助项目(10331010)

摘　　要：基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0<a<1)中.Based on a new class of t-norms ＊ a and corresponding resituated implication operators Ha with a parameter a in [0,1 ], the many-valued system H1/2 has been studied. In the logic system H1/2, a new partition of F（ S ） can be obtained by utilizing the concept of generalized tautologies, moreover, a variety of generalized semantic MP rules and generalized semantic HS rules are obtained in H1/2. At last, some results in H1/2 are generalized to the systems Ha （0 〈 a 〈 1 ）.

关 键 词：多值逻辑系统 重言式 广义语义MP规则 广义语义HS规则 分划 

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