摘要
研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。
The formal deductive system L~* for fuzzy propositional calculus and the revised Kleene’s logic system ,W,W_k have been studied. The concepts of semantic [α]-MP rule, Semantic [α]-MP rule. Semantic [α]-HS rule, semantic [α^+]-HS rule are introduced, and meanwhile we investigate the properties of these concepts. The results of this paper has riched the content of Σ-(α-tautologies) and has enhanced the consequences that was already gained. This work can be seen a useful tool for further study of this system.
出处
《模糊系统与数学》
CSCD
2003年第4期60-66,共7页
Fuzzy Systems and Mathematics
关键词
逻辑系统
广义语义
HS规则
MP规则
模糊命题演算
Fuzzy Logic
Logic System ,W,W_k
Generalizd Tautologies
Generalized Semantic MP Rule
Generalized Semantic HS Rule
