对BR0-逻辑代数进行了进一步研究,得到了BR0-逻辑代数的一种无序表示形式,使得BR0-代数中的序关系蕴涵于BR0-代数的基本运算+和→之中,并根据BR0-代数的无序表示形式提出了WBR0-代数理论,初步地讨论了其中的性质。
By further investigating the BR0-1ogic algebras, a kind of non-ordered form of BR0- algebras has been obtained which imbeds the order relation of BR0-algebras into its operators of + and→. With the help of the characteristics of the non-ordered form of BR0-algebras, a new theory of WBR0-algebras is proposed, and its properties are discussed.