摘要
通过对区间值模糊命题逻辑系统的公式进行部分赋值,讨论了区间值模糊命题逻辑∑-广义拟重言式,并且通过定义I22n和I22n+1中的可达拟重言式,证明了拟重言式类类互异定理,同时在∑-广义拟重言式之间建立了一种升级算法.
In this paper, the ∑-generalized quasi-tautology is discussed by giving the formula part-valued in the Interval-valued Fuzzy Propositional Logic System, and the theory of difference of classes is proved. At the same time,the ascent algorithm is given between ∑-generalized quasi-tautologies.
出处
《辽宁师范大学学报（自然科学版）》
CAS
北大核心
2007年第1期23-25,共3页
Journal of Liaoning Normal University:Natural Science Edition
基金
国家自然科学基金资助项目(60474022)
关键词
模糊逻辑
命题逻辑
∑-广义拟重言式
可达拟重言式
类类互异定理
fuzzy logic
propositional logic
∑-generalized quasi-tautology
arrival quasitautologytheory of difference of classes
