有效代数及伪有效代数的若干研究

有效代数及伪有效代数的若干研究

论文摘要

逻辑是探索、阐述和确立有效推理原则的学科.从代数的角度来研究模糊逻辑、概率逻辑、量子逻辑、Rough逻辑系统的性质及其关系是一个十分有意义的工作.本文涉及量子逻辑的代数结构,包括有效代数和伪有效代数,它们对于量子逻辑和量子力学的理论问题的研究具有重要意义.本文在国内外已有研究工作的基础上,提出广义伪有效代数和弱伪有效代数的概念,系统研究了它们的基本性质及其与有效代数、伪有效代数的关系,且建立了广义伪有效代数的理想与滤子理论.同时,研究了量子有效代数与模糊逻辑中的非交换代数之间的关系.本文的主要结果有:(1)借鉴A.Dvurecenskij和T.Vetterlein的方法,通过去除广义有效代数的交换性,引入广义伪有效代数的定义,并研究了它的基本性质及其与广义有效代数、伪有效代数的关系,推广了Zdenka Rie?anová关于广义有效代数的成果.(2)系统研究广义伪有效代数的正规理想、Riesz-理想、Riesz-同态、Riesz-同余,证明了广义伪有效代数的同态基本定理.(3)提出与伪有效代数和伪BL-代数分别对应的对偶伪有效代数和对偶伪BL-代数的概念,通过这些代数结构分别刻画了格序伪有效代数与对合伪剩余格、以及弱伪有效代数与伪BL-代数之间的关系,极大地推广了国内外学者的有关成果,从而从代数结构的角度揭示了量子逻辑与模糊逻辑的内在联系.

论文目录

  • 摘要
  • Abstract
  • 1 引言
  • 1.1 偏序集及格
  • 1.2 有效代数及基本性质
  • 2 广义伪有效代数及弱伪有效代数
  • 2.1 广义伪有效代数
  • 2.2 伪有效代数
  • 2.3 对偶伪有效代数
  • 2.4 弱伪有效代数及弱MV-伪有效代数
  • 3 广义伪有效代数的理想及滤子
  • 3.1 广义伪有效代数的理想
  • 3.2 广义伪有效代数的滤子
  • 3.3 广义伪有效代数的同余
  • 3.4 广义伪有效代数的同态基本定理
  • 4 源于量子逻辑与模糊逻辑的相关非交换代数结构及其关系
  • 4.1 伪剩余格与剩余格
  • 4.2 伪BL-代数与BL-代数
  • 4.3 伪MV-代数与对偶伪MV-代数
  • 4.4 格序伪有效代数与伪对合剩余格
  • 4.5 弱MV-伪有效代数与伪BL-代数
  • 4.6 伪有效代数与伪MV-代数
  • 5 总结
  • 参考文献
  • 相关论文文献

    标签:;  ;  ;  ;  ;  ;  

    有效代数及伪有效代数的若干研究
    下载Doc文档

    猜你喜欢