通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发。给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR。代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。
Through study of MV-algebra and the Lukasiewiez propositional calculus system, we have simplified the definition of MV-algebra and investigated the relation among some logic algebras, the main results of the paper are: (1) Two equivalent simplifies forms of MV-algebra are obtained ; (2) The concept of Weak Lattice Implication-Algebra is proposed, and the equivalence between BR0-algebra and Weak Lattice Implication-Algebra is proved; (3) It is proved that Weak Lattice Implication-Algebra is Regular Fuzzy Implication-Algebra.