摘要
对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.
出处
《工程数学学报》
CSCD
北大核心
2009年第3期456-460,共5页
Chinese Journal of Engineering Mathematics
基金
国家自然科学基金(10871121)
陕西师范大学重点科研基金(995130)
