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

非可换逻辑代数的滤子及模糊化理论

作　者: 王伟
导　师: 辛小龙
学　校: 西北大学
专　业: 基础数学
关键词: 伪BL代数剩余格 Heyting代数滤子模糊滤子
分类号: O153
类　型: 博士论文
年　份: 2010年
下　载: 40次
引　用: 0次
阅　读: 论文下载

内容摘要

非可换逻辑代数是非可换逻辑相应的代数结构.BL代数是基本逻辑(Basic Logic)系统的代数结构,而伪BL代数是BL代数的非可换推广.非可换剩余格又是伪BL代数、伪MTL代数等的推广.我们在研究工作中,发现上述非可换逻辑代数结构可以通过滤子及模糊滤子来进行研究和刻画.因而,本文主要研究了几类非可换逻辑代数中的滤子及模糊滤子的理论,为非可换逻辑代数的深入研究奠定了坚实基础.我们所做的具体工作如下：1.引入并讨论了伪BL代数的模糊滤子、模糊素滤子、模糊布尔滤子、模糊正规滤子、模糊超滤子和模糊固执滤子,研究了相应模糊滤子的性质.由分配格中Stone模糊素理想定理启发,我们在伪BL代数中建立模糊素滤子定理.通过讨论几类模糊滤子之间的关系,特别是模糊布尔滤子和模糊正规滤子的关系,我们解决了一个公开问题,即“在伪BL代数中是否每一个布尔滤子都是正规的.”2.引入并讨论了伪BL代数的超滤子和固执滤子,讨论了伪BL代数的布尔滤子和正规滤子的关系,采用非模糊化的途径给出了上述公开问题的一种新的解决方法.3.我们将上述有关工作推广到了剩余格,引入并讨论了剩余格的模糊滤子、模糊素滤子、模糊布尔滤子、模糊正规滤子、模糊超滤子和模糊固执滤子,研究了相应模糊滤子的性质.我们在剩余格中建立模糊素滤子定理.通过讨论几类模糊滤子之间的关系,特别是模糊布尔滤子和模糊正规滤子的关系,我们在剩余格中研究了相应的问题.4.引入了剩余格的伪G滤子、伪MV滤子、超滤子和固执滤子,研究了相应的性质,特别是研究了布尔滤子和正规滤子的关系.5.引入了Heyting代数的布尔滤子、素滤子、蕴含滤子、正蕴含滤子、超滤子和固执滤子,定义了Heyting代数的模糊滤子、模糊布尔滤子、模糊素滤子、模糊蕴含滤子、模糊正蕴含滤子、模糊超滤子和模糊固执滤子,并讨论了其相应的性质.进一步,我们证明在Heyting代数中,模糊布尔滤子等价于模糊蕴含滤子,模糊正蕴含滤子等价于模糊滤子,并讨论了这几类滤子之间的关系.最后,我们研究了Heyting代数的直觉模糊滤子,讨论了相应性质,证明了Heyting代数上的上的直觉模糊格滤子等价于直觉模糊滤子.

全文目录

摘要  3-5
Abstract  5-8
第一章绪论  8-16
  1.1 引言  8-10
  1.2 预备知识  10-16
第二章伪BL代数的滤子和模糊滤子  16-40
  2.1 伪BL代数的模糊滤子  16-35
  2.2 伪BL中模糊布尔滤子和模糊正规滤子的关系  35-40
第三章剩余格的滤子和模糊滤子  40-58
  3.1 剩余格的模糊滤子  40-46
  3.2 剩余格的滤子  46-53
  3.3 剩余格的布尔滤子和正规滤子的关系  53-58
第四章 Heyting代数的模糊滤子和直觉模糊滤子  58-70
  4.1 Heyting代数的滤子  58-59
  4.2 Heyting-代数的模糊滤子  59-65
  4.3 Heyting代数的直觉模糊滤子  65-70
第五章结论  70-72
参考文献  72-77
攻博期间发表和撰写的学术论文  77-78
致谢  78

非可换逻辑代数的滤子及模糊化理论

内容摘要

全文目录

相似论文