Computer Engineering and Applications ›› 2008, Vol. 44 ›› Issue (25): 43-45.DOI: 10.3778/j.issn.1002-8331.2008.25.013
• 理论研究 • Previous Articles Next Articles
WANG Wei-hua,WU Hong-bo
Received:
Revised:
Online:
Published:
Contact:
王伟华,吴洪博
通讯作者:
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-代数的概念,然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R0-代数以及完备BR0-代数都是可换的Girard quantales的结论。
关键词: BR0-代数, 非交换BR0-代数, Quantale
WANG Wei-hua,WU Hong-bo. Non-commutative BR0-Algebra and Quantales on It[J]. Computer Engineering and Applications, 2008, 44(25): 43-45.
王伟华,吴洪博. 非交换BR0-代数与其上的Quantale[J]. 计算机工程与应用, 2008, 44(25): 43-45.
0 / Recommend
Add to citation manager EndNote|Ris|BibTeX
URL: http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.2008.25.013
http://cea.ceaj.org/EN/Y2008/V44/I25/43