学位论文 > 优秀研究生学位论文题录展示

格蕴涵代数及其与相关逻辑代数的关系研究

作 者: 杜绍坤
导 师: 徐扬
学 校: 西南交通大学
专 业: 应用数学
关键词: 格蕴涵代数 滤子格 次极大滤子 R0代数 Wajsberg代数 模糊蕴涵代数
分类号: O153.1
类 型: 硕士论文
年 份: 2011年
下 载: 10次
引 用: 2次
阅 读: 论文下载
 

内容摘要


格蕴涵代数是一种重要的逻辑代数,它可以为格值逻辑和不确定性推理的研究提供一种理论基础.本文在已有研究成果的基础上,对格蕴涵代数作进一步研究.首先,讨论格蕴涵代数的一些性质;其次,讨论格蕴涵代数滤子的一些性质,提出次极大滤子的概念;最后,分别讨论Wajsberg代数、模糊蕴涵代数、R0代数与格蕴涵代数的关系.本文主要取得以下成果:1.得到格蕴涵代数的一些性质.证明满足x∨y=(x→y)→y的分配拟格蕴涵代数构成格蕴涵代数.得到格蕴涵代数关于“(?)“(?)”运算的一些性质.2.得到格蕴涵代数滤子的一些性质.讨论格蕴涵代数的几种滤子之间的关系.并证明真固执滤子与超滤等价.既是关联滤子又是素滤子的滤子是超滤.提出了格蕴涵代数中不动点的概念,含有不动点的格蕴涵代数不含有超滤,含有奇数个元素的格蕴涵代数不含有超滤.得到格蕴涵代数滤子格的一些性质.提出格蕴涵代数中次极大滤子的概念,并得到它的一些性质,证明在格蕴涵代数中次极大滤子是素滤子及次极大滤子的存在性.3.分别讨论格蕴涵代数与Wajsberg代数、模糊蕴涵代数、R0代数之间的关系.得到Wajsberg代数转化为格蕴涵代数的条件,正则模糊蕴涵代数转化为格蕴涵代数的条件,格蕴涵代数与Ro代数的关系.

全文目录


摘要  6-7
Abstract  7-9
第1章 绪论  9-14
  1.1 引言  9-11
    1.1.1 多值逻辑  9-10
    1.1.2 逻辑代数  10-11
  1.2 格蕴涵代数的研究简况及本文的组织结构  11-14
    1.2.1 格蕴涵代数的研究简况  11-12
    1.2.2 本文的组织结构  12-14
第2章 格蕴涵代数的概念及其性质  14-22
  2.1 格蕴涵代数的概念  14-16
  2.2 格蕴涵代数的性质  16-22
第3章 格蕴涵代数的滤子  22-32
  3.1 格蕴涵代数滤子的一些结论  22-27
  3.2 格蕴涵代数的滤子格  27-30
  3.3 格蕴涵代数的次极大滤子  30-32
第4章 格蕴涵代数与相关逻辑代数的关系  32-40
  4.1 格蕴涵代数与Wajsberg代数的关系  32-33
  4.2 格蕴涵代数与模糊蕴涵代数的关系  33-37
  4.3 格蕴涵代数与R_0代数的关系  37-40
结论与展望  40-41
致谢  41-42
参考文献  42-46
攻读硕士学位期间发表的论文及科研成果  46

相似论文

  1. 区间集的蕴涵构造研究,O159
  2. 关于格蕴涵代数及其子结构的研究,O153.1
  3. R_0代数的简化以及相对真度的相关性质研究,O141.1
  4. BR_0-代数与WBR_0-代数的研究,O153
  5. 几种逻辑代数的剩余格刻画及命题逻辑系统中条件真度的比较,O141.1
  6. R_0代数的两类特殊元及其应用,O141
  7. Loomis-Sikorski表现定理及IMTL代数上的素布尔滤子格,O153.1
  8. 格蕴涵代数与相关逻辑代数关系的研究,O153.1
  9. 逻辑代数中若干问题的研究,O141.1
  10. 广义剩余格与广义R_0-代数,O153.1
  11. 关于格蕴涵代数方程的研究,O153.1
  12. 效应代数中的模糊滤子及其与两种模糊代数系统之间的关系,O153.1
  13. IL型三I算法及其还原性和R_0代数中的滤子格,O141
  14. BCK代数与De Morgan等代数的关系研究,O153
  15. 格蕴涵代数中a-化子和不等式的研究,O153.1
  16. 关于格蕴涵代数性质的研究,O159
  17. L~*系统中的一类广义重言式与L~*系统的一种扩张,O159
  18. L~*谓词逻辑与R_0代数性质新探,O141
  19. 剩余格与基于剩余格的几类代数系统的关系,O153
  20. 多值逻辑代数中若干问题的研究,O141

中图分类: > 数理科学和化学 > 数学 > 代数、数论、组合理论 > 抽象代数(近世代数) > 偏序集合与格论
© 2012 www.xueweilunwen.com