论文部分内容阅读
提出非交换BR0-代数的概念，然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质，最后得出完备Boole代数、完备MV代数、完备R0-代数以及完备BR0-代数都是可换的Girard quantales的结论。
非交换BR0-代数与其上的Quantale
【摘 要】
：
提出非交换BR0-代数的概念，然后讨论了在完备非交换BR0-代数和完备BR0-代数上的Quantale性质，最后得出完备Boole代数、完备MV代数、完备R0-代数以及完备BR0-代数都是可换的Gira
【机 构】
：
陕西师范大学数学与信息科学学院
【出 处】
：
计算机工程与应用
【发表日期】
：
2008年25期
【基金项目】
：
基金项目：国家自然科学基金（the National Natural Science Foundation of China under Grant No. 10471083 ）,陕西师范大学重点科研基金（No.995130）.
其他文献
随着SIP协议的广泛应用，协议自身的安全问题逐渐显露出来，尤其以DoS攻击最为严重。旨在研究SIP的DoS攻击检测机制，给出了基于平衡消息数的SIP DoS攻击检测原理，实现了一种SIP DoS
我国的审计工作经过20年的发展,取得了较大的成就,但是也存在一些亟待解决的问题,尤其是在审计机制方面需要进一步完善。文章对此进行了探讨,从3个方面提出了完善的建议：建立
为了便于植物学的校园实习、学生的自学复习以及培养学生对植物学的兴趣,作者对衡水学院的校园及温室植物进行了调查,并分类总结.本次调查共发现70科155属193种.其中包括一种
以苣荬菜为材料，用盆栽控制浇水模拟干旱的方法，研究不同程度水分胁迫下苣荬菜叶片光合生理特性及水分利用率的变化特点．结果表明：随着干旱胁迫程度的增加，苣荬菜叶片叶绿素含量呈
广播加密是一种应用广泛的群组保密通信系统。在CS方法的基础上利用HIBE中身份的表示方法提出一种新的公钥广播加密方案，同时采用预留节点的方法在接收者无状态的情况下真正实
美国社区学院立足于社区、依托于社区、服务于社区的发展模式,为新建地方本科院校在与地方沟通中发展自身提供了经验。新建地方本科院校与地方紧密融合应立足于地方、依托于
基于危险理论，建立了一个垃圾邮件过滤模型DTDEF，对过滤垃圾邮件具有一定的动态性、学习的自适应性和分类的有效性，给出了该模型的基本架构及其具体实现算法，并通过与Bayes算法比
毛泽东思想中强烈的变革意识既是对中国传统文化思维的突破,又对当代中国文化风格产生了重要的影响.毛泽东思想中鲜明的民族特色,引领了实事求是、理论联系实际的新文化风格.
美是科学与艺术的共同属性,也是人类追求的目标之一。随着社会的进步,人类创造美、鉴赏美的能力也在发展,审美文化的多元性、融合性是一种趋势,而要构建科学与艺术的和谐美,