BR_(0^-)代数的表示定理及其简化形式  

The Representive Theorem and the Simplied Form of BR_(0^-) Algebra

作　　者：龚加安[1,2] 崔宏志[1] 吴洪博[2] 

机构地区：[1]陕西省商洛职业技术学院,陕西商洛726000 [2]陕西师范大学数学与信息科学学院,西安710062

出　　处：《河南科学》2016年第2期163-170,共8页Henan Science

基　　金：国家自然科学基金重点项目(11531009);国家自然科学基金面上项目(61562016)

摘　　要：通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR_(0^-)代数的格蕴涵表示形式,使得BR_(0^-)代数从定义形式上更加符合逻辑代数的特征,突出了BR_(0^-)代数和其他逻辑代数的区别与联系,其次,结合MV-代数,R_(0^-)代数和BR_(0^-)代数的关系给出了MV-代数的BR_(0^-)代数表示形式以及BR_(0^-)代数的简化形式.Through study of basic fuzzy propositional calculus formal deductive system BL＊and Lindenbaumalgebra,we get the lattice-implication representive theorem of BR0- algebra. This work conforms BR0- algebra to the features of logic algebra in definition,which protrudes the relations between BR0- algebra and other logic algebra. In addition,with the help of the relation between BR0- algebra and MV-algebra,R0- algebra,we have also given the simplied form of BR0- algebra and the BR0- algebra form of MV-algebra.

关 键 词：模糊逻辑 BR0-代数 格蕴涵 MV-代数 R0-代数 

分 类 号：O141.1[理学—数学]