欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
通过对模糊命题演算系统L＊及相应的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.
同期刊论文项目
同项目期刊论文
位置：