非交换BR_0-代数与其上的Quantale  

Non-commutative BR_0-Algebra and Quantales on It

作　　者：王伟华[1] 吴洪博[1] 

机构地区：[1]陕西师范大学数学与信息科学学院,西安710062

出　　处：《计算机工程与应用》2008年第25期43-45,共3页Computer Engineering and Applications

基　　金：国家自然科学基金No.10471083;陕西师范大学重点科研基金(No.995130)~~

摘　　要：提出非交换BR0-代数的概念,然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R0-代数以及完备BR0-代数都是可换的Girard quantales的结论。In this paper,the notion of non-commutative BR0-algebra is introduced,Then,some Quantales properties over the complete non-commutative BR0-algebra and the complete BR0-algebra are discussed.One important conclusion that the complete Boole algebra,complete MV algebra,complete R0-algebra and complete BR0-algebra are commutative Girard Quantale is proved in the end.

关 键 词：BR0-代数 非交换BR0-代数 QUANTALE 

分 类 号：O141.1[理学—数学] O214.6[理学—基础数学]