几类特殊的量子B-代数

来源 :陕西师范大学 | 被引量 : 0次 | 上传用户:Jordan2391
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
自Mulvey 1984年提出Quantale的概念以来,Quantale理论已受到了数学家和逻辑学家的广泛关注.基于Quantale中的逻辑蕴含算子→和(?),Rump于2013年提出了量子B-代数的概念.量子B-代数是一种非可换的逻辑代数,它可以看作是Quantale的一种推广.量子B-代数包含了多种蕴含代数,像BCK-代数,剩余格,偏序群,BL-代数,MV-代数,效应代数以及它们的非可换形式.考虑到量子B-代数与其它蕴涵代数的关系,本文研究了对偶量子B-代数,单位量子B-代数以及由量子B-代数构造的Enveloping Quantale.本学位论文分为如下几个部分:第一章:预备知识.本章介绍了格,Quantale和量子B-代数的基本概念和相关知识.第二章:单位量子B-代数.本章第一部分研究了对偶量子B-代数.首先,引入新符号,深入的讨论了量子B-代数的基本性质.其次,引入对偶元的概念,研究了对偶量子B-代数的相关性质,并给出了它的等价刻画.最后,得到了区间对偶量子B-代数是一个分配格的条件,并证明了完备的对偶量子B-代数和对偶Quantale是等价的.本章第二部分研究了单位量子B-代数的可逆元.首先,介绍了量子B-代数的可逆元的定义及等价刻画.其次,研究了量子B-代数的可逆元的相关性质.最后,利用量子B-代数中的二元运算→和(?)定义了新的二元运算.并证明了所有可逆元构成一个偏序群.本章第三部分对区间量子B-代数上的运算进行了讨论,研究了区间量子B-代数中格的相关性质.第三章:Enveloping Quantale.本章首先介绍了由量子B-代数构造的幂集Quantale的相关结论.其次,研究了量子B-代数同态与Enveloping Quantale同态之间的刻画.最后,在量子B-代数之间建立笛卡尔积定义一种二元运算和关系来刻画Enveloping Quantale 同态.
其他文献
初中数学课堂教学是为落实学生全面发展教育目标的一个重要组成部分,它能培养学生的逻辑思维能力、创新意识和创造能力,增强我国的创造活力,推进我国从制造大国向创造大国的
通过建立微分方程模型来研究生物系统的变化规律已经成为当今生物数学发展的重要方向之一,由于生物模型的实际应用价值很高,被众多专家研究.其中Lotka-Volteera模型是一类非
本文主要运用分歧理论和偏微分方程的理论和方法,研究了一类带有恐惧效应的捕食-食饵模型在不同边界条件下正解的存在性和稳定性.首先通过极值原理,分歧理论等讨论了带有恐惧
目前,学者们总是利用数学技术与方法去解决工程、计算科学以及物理和生物科学方面的问题,学科间的互相渗透与交融日益剧增,数学生物学就是其鲜明的体现.反应扩散方程是架起数
随着“互联网+”的不断发展,在线学习已经越来越普及,然而目前大部分在线学习平台只是为学习者提供学习资料和简单的留言板功能,而无法为学习者提供分组协作学习的环境,这就造成了学习者之间缺乏有效沟通、学习效率不高、完课率低的现象。因此构建分组协作学习的环境,是提高学习效率的有效手段,而如何合理分组就涉及到聚类算法。为提高协作学习分组质量,论文针对K-means算法和密度峰值算法的优缺点将两种算法进行融合
扫频激光干涉测距系统是一种利用经过频率调制的激光,将被测距离产生的时间差转化为光频频差的测距方法,具有非合作目标测量能力,无需导轨,是一种理想的高精度大尺度绝对距离
多学科知识的协同利用是现代产品创新设计的主流,自然界作为人类最大的知识宝库,在长期进化过程中优化出了大量卓越的生物学技能,是产品创新设计激励的不竭知识源泉。生物激
SAR分类模型算法海冰随机场图像在其形成的过程中受到很多方面随机因素的影响和干扰,海冰的图像因为受到入射角、频率、极化模式、相干斑、气候等随机因素的干扰和影响,这给
重质量区域丰中子新核素合成是当前核物理研究前沿课题,主要涉及天体核合成快过程物理机制、滴线区原子核结构和衰变模式、稳定岛上超重原子核合成等。基于放射性丰中子核引
磁流体动力学(MHD)是一门研究磁场与导电流体之间相互作用的学科,常见的导电流体有液态金属、电解质等。当导电流体在磁场作用下流动时,流动特性发生改变,流动稳定性也会受到