B代数与广义量子B代数的研究

B代数与广义量子B代数的研究

论文摘要

为了给更广泛的子结构逻辑提供统一的语义,2013年德国学者Rump利用相互独立的三条公理提出了量子B代数的概念.量子B代数是量子B逻辑所对应的逻辑代数,它为无单位情况下命题真值程度的研究提供了一种新的研究思想.在量子B代数的研究中,Rump并没有单独考虑每条公理或其中两条公理相结合所具有的性质.鉴于此,本文利用量子B代数中的一条公理和另外两条公理分别定义了 B代数和广义量子B代数,并对它们进行了深入研究.本论文主要内容如下:第一章介绍格论、范畴论、Quantale以及量子B代数中的基本知识和相关结论.第二章首先利用量子B代数的一条公理提出了 B代数的概念,并研究了它的相关性质.其次,利用对偶元证明在给定的四种运算下B代数都是幺半群;同时,证明了一个B代数可构成群当且仅当它的每个元是对偶元.最后,借助B代数的性质及量子B代数上的Zig-Zag关系,研究了强的条件量子B代数的一些性质.第三章第一部分介绍了广义量子B代数的定义及其基本性质,以及三种由广义量子B代数构造量子B代数的方法.第二部分证明了广义量子B代数范畴与逻辑Prequantale范畴对偶等价.最后,讨论了广义量子B代数的嵌入问题,并证明了在剩余广义量子B代数范畴中,X是内射对象当且仅当X是Prequantale.

论文目录

  • 摘要
  • Abstract
  • 前言
  • 第一章 预备知识
  •   1.1 格论与范畴论中的基本知识
  •   1.2 Quantale中的相关概念
  •   1.3 量子B代数的有关结论
  • 第二章 B代数
  •   2.1 B代数的定义及基本性质
  •   2.2 B代数与幺半群,群的关系
  •   2.3 B代数与量子B代数的关系
  • 第三章 广义量子B代数
  •   3.1 广义量子B代数的概念与基本性质
  •   3.2 广义量子B代数范畴与逻辑Prequantale范畴对偶等价
  •   3.3 剩余广义量子B代数范畴的内射对象
  • 总结
  • 参考文献
  • 致谢
  • 攻读硕士学位期间科研成果
  • 文章来源

    类型: 硕士论文

    作者: 徐晓婷

    导师: 韩胜伟

    关键词: 量子代数,代数,广义量子代数

    来源: 陕西师范大学

    年度: 2019

    分类: 基础科学

    专业: 数学

    单位: 陕西师范大学

    分类号: O153

    DOI: 10.27292/d.cnki.gsxfu.2019.000469

    总页数: 56

    文件大小: 1851K

    下载量: 9

    相关论文文献

    • [1].认识结构,事半功倍[J]. 数学教学通讯 2017(21)
    • [2].分析变换代数结构的途径与方法[J]. 上海中学数学 2009(05)
    • [3].W(2,2)超代数上相容的左对称超代数结构[J]. 南开大学学报(自然科学版) 2020(03)
    • [4].从儿童代数思维过程看小学数学教学[J]. 小学教学设计 2018(17)
    • [5].超代数结构研究进展[J]. 聊城大学学报(自然科学版) 2008(01)
    • [6].E-不变凸效应代数[J]. 模糊系统与数学 2018(02)
    • [7].n-平移代数、平凡扩张与预投射代数[J]. 中国科学:数学 2018(11)
    • [8].关于效应代数中理想的注记[J]. 河南科学 2017(10)
    • [9].低年级儿童代数思维能力分析与发展路径[J]. 数学大世界(下旬) 2017(11)
    • [10].态格效应代数及其基本性质[J]. 模糊系统与数学 2019(04)
    • [11].扭量子环面李代数■_A[σ][J]. 黑龙江大学自然科学学报 2008(02)
    • [12].基于非交换代数结构的公钥密码体制[J]. 河南教育学院学报(自然科学版) 2011(03)
    • [13].源于非经典逻辑的代数结构研究综述[J]. 四川师范大学学报(自然科学版) 2019(01)
    • [14].Zadeh扩张原理下模糊数空间的代数结构[J]. 模糊系统与数学 2014(01)
    • [15].探索一类和群相似的代数结构[J]. 内蒙古民族大学学报 2011(05)
    • [16].挖掘代数结构 渗透数学思想——2014年浙江高考数学文科第16题解法探究[J]. 中学数学 2015(03)
    • [17].量子顶点代数理论和量子仿射代数[J]. 中国科学:数学 2017(11)
    • [18].W-交叉余积上的Hopf代数结构[J]. 浙江大学学报(理学版) 2012(06)
    • [19].一类非交换群环的代数结构[J]. 数学的实践与认识 2016(11)
    • [20].超AKNS方程族和AKNS方程族的一致性探究[J]. 商丘职业技术学院学报 2014(05)
    • [21].形变微分算子代数的Poisson代数结构[J]. 兰州理工大学学报 2020(05)
    • [22].局部语言的代数结构——关于局部语义的一些一般性观察(1)[J]. 逻辑学研究 2017(01)
    • [23].q-Schur超代数[J]. 中国科学:数学 2018(11)
    • [24].16种基础R_0-代数结构的相对独立公理系统[J]. 模糊系统与数学 2012(06)
    • [25].基于代数结构的商空间模型研究[J]. 电子学报 2016(04)
    • [26].针对IRA-LDPC码类的半随机半代数结构设计[J]. 通信学报 2014(03)
    • [27].微积分的代数结构[J]. 四川师范大学学报(自然科学版) 2018(05)
    • [28].克莱茵群上的pointedHopf代数结构分析[J]. 扬州大学学报(自然科学版) 2013(02)
    • [29].广义Pythagorean模糊软集的代数结构[J]. 山东大学学报(理学版) 2020(01)
    • [30].格的序结构与代数结构[J]. 数学学习与研究 2015(07)

    标签:;  ;  ;  

    B代数与广义量子B代数的研究
    下载Doc文档

    猜你喜欢