欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征,将基础逻辑系统BL中的部分公理代数化,建立一种新的代数结构QBL-代数,并证明了QBL-代数与BL-代数的等价性,以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.
英文摘要：
By means of the characters that the basic logic algebra BL is matched with the fuzzy propositional logic system BL,the new logic algebraic structure called QBL-algebra has been established from the algebraizing of the axioms of fuzzy propositional logic system BL.The equivalence between the QBL-algebras and the BL-logic algebras have been proved.Consequentely,the presentative theorem of the BL-logic algebras has been given with two kinds of binary operations ,→ on a general set.
同期刊论文项目
同项目期刊论文
期刊信息
位置：