| 摘要 | 第1-4页 |
| ABSTRACT | 第4-8页 |
| 1 绪论及预备知识 | 第8-16页 |
| ·研究背景及发展现状 | 第8-12页 |
| ·Fuzzy代数的研究背景及发展现状 | 第8-9页 |
| ·Mizar系统的研究背景及发展现状 | 第9-12页 |
| ·预备知识 | 第12-14页 |
| ·本文主要研究工作 | 第14-16页 |
| 2 布尔代数的(∈,∈∨q)-Fuzzy子代数和(∈,∈∨q)-Fuzzy理想 | 第16-26页 |
| ·引言 | 第16页 |
| ·布尔代数的(∈,∈∨q)-Fuzzy子代数 | 第16-20页 |
| ·布尔代数的(∈,∈∨q)-Fuzzy理想 | 第20-26页 |
| 3 布尔代数的阈值Fuzzy子代数和阈值Fuzzy理想 | 第26-32页 |
| ·引言 | 第26-27页 |
| ·布尔代数的阈值Fuzzy子代数 | 第27-30页 |
| ·布尔代数的阈值Fuzzy理想 | 第30-32页 |
| 4 布尔代数的Fuzzy子代数的直积 | 第32-42页 |
| ·引言 | 第32页 |
| ·布尔代数的Fuzzy子代数的直积的一些性质 | 第32-35页 |
| ·直积布尔代数的Fuzzy子代数可分解为Fuzzy子代数的直积的充要条件 | 第35-38页 |
| ·Fuzzy商布尔代数的直积特征 | 第38-42页 |
| 5 布尔代数的广义Fuzzy子代数在Mizar系统中的实现 | 第42-62页 |
| ·引言 | 第42页 |
| ·Mizar语言的简介 | 第42-50页 |
| ·数据类型 | 第42-43页 |
| ·基本公式和命题表述词汇 | 第43-44页 |
| ·Mizar定理证明 | 第44-47页 |
| ·Mizar定义 | 第47-50页 |
| ·Mizar数据库与系统 | 第50-51页 |
| ·Mizar数据库 | 第50页 |
| ·Mizar系统 | 第50-51页 |
| ·Mizar文章的书写程序 | 第51-53页 |
| ·Mizar文章的结构 | 第51页 |
| ·设置环境部 | 第51-52页 |
| ·书写文本正文 | 第52-53页 |
| ·布尔代数的广义Fuzzy子代数在Mizar系统中的实现 | 第53-62页 |
| ·环境部的设置 | 第53-54页 |
| ·正文 | 第54-62页 |
| 结论 | 第62-64页 |
| 参考文献 | 第64-68页 |
| 致谢 | 第68页 |
| 攻读学位期间发表的学术论文目录 | 第68-70页 |
