计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (25): 43-45.DOI: 10.3778/j.issn.1002-8331.2008.25.013

• 理论研究 • 上一篇    下一篇

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

王伟华,吴洪博   

  1. 陕西师范大学 数学与信息科学学院,西安 710062
  • 收稿日期:2007-10-29 修回日期:2008-01-07 出版日期:2008-09-01 发布日期:2008-09-01
  • 通讯作者: 王伟华

Non-commutative BR0-Algebra and Quantales on It

WANG Wei-hua,WU Hong-bo   

  1. College of Mathematics and Information Science,Shaanxi Normal University,Xi’an 710062,China
  • Received:2007-10-29 Revised:2008-01-07 Online:2008-09-01 Published:2008-09-01
  • Contact: WANG Wei-hua

摘要: 提出非交换BR0-代数的概念,然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R0-代数以及完备BR0-代数都是可换的Girard quantales的结论。

关键词: BR0-代数, 非交换BR0-代数, Quantale

Abstract: 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.

Key words: BR0-algebra, non-commutative BR0-algebra, Quantale