计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (25): 43-45.DOI: 10.3778/j.issn.1002-8331.2008.25.013
• 理论研究 • 上一篇 下一篇
王伟华,吴洪博
收稿日期:
修回日期:
出版日期:
发布日期:
通讯作者:
WANG Wei-hua,WU Hong-bo
Received:
Revised:
Online:
Published:
Contact:
摘要： 提出非交换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
王伟华,吴洪博. 非交换BR0-代数与其上的Quantale[J]. 计算机工程与应用, 2008, 44(25): 43-45.
WANG Wei-hua,WU Hong-bo. Non-commutative BR0-Algebra and Quantales on It[J]. Computer Engineering and Applications, 2008, 44(25): 43-45.
0 / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://cea.ceaj.org/CN/10.3778/j.issn.1002-8331.2008.25.013
http://cea.ceaj.org/CN/Y2008/V44/I25/43
