摘要
基于一类带参数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 ）.
出处
《陕西师范大学学报（自然科学版）》
CAS
CSCD
北大核心
2007年第1期9-12,33,共5页
Journal of Shaanxi Normal University：Natural Science Edition
基金
国家自然科学基金重点资助项目(10331010)
关键词
多值逻辑系统
重言式
广义语义MP规则
广义语义HS规则
分划
many-valued logic system
tautology
generalized semantic MP rule
generalized semanticHS rule
partition
