摘要
通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。
Through study of the fuzzy propositional calculus formal deductive system L＊ and Lindenbaum algebra, we have get the lattice-implication representative theorem of R0 -algebra. This work conforms R0-algebra to the features of logic algebra in definition, which protrudes the relations between R0-algebra and other logic algebra.
出处
《模糊系统与数学》
CSCD
北大核心
2007年第3期16-23,共8页
Fuzzy Systems and Mathematics
基金
国家自然科学基金资助项目(10471083)
陕西师范大学重点科研基金资助项目(995130)
关键词
模糊逻辑
R0-代数
格蕴涵
Fuzzy Logic
Ro -algebra
Lattice-implication
