中文摘要 | 第9-11页 |
ABSTRACT | 第11-12页 |
第一章 绪论 | 第13-19页 |
§1.1 从经典逻辑到模糊逻辑 | 第13-14页 |
§1.2 分配性方程和有限链的研究背景和研究意义 | 第14-16页 |
§1.3 分配性方程和有限链的研究现状 | 第16-17页 |
§1.4 本文的主要工作 | 第17-19页 |
第二章 有限链上三角模和三角余模的分配性 | 第19-26页 |
§2.1 引言 | 第19页 |
§2.2 关于三角模和三角余模的预备知识 | 第19-21页 |
§2.3 主要结果 | 第21-26页 |
第三章 有限链上蕴涵算子和三角模(三角余模)的分配性 | 第26-37页 |
§3.1 引言 | 第26页 |
§3.2 关于蕴涵的预备知识 | 第26-27页 |
§3.3 主要结果 | 第27-33页 |
3.3.1 分配性方程:I(T(x,y),z)=S(I(x,z),I(y,z)) | 第28-30页 |
3.3.2 分配性方程:I(S(x,y),z)=T(I(x,z),,(y,z)) | 第30页 |
3.3.3 分配性方程:I(x,T_1(y,z))=T_2(I(x,y),,(x,z)) | 第30-31页 |
3.3.4 分配性方程:I(x,S_1(y,z))=S_2(I(x,y),,(x,z)) | 第31-33页 |
§3.4 分配性方程中的蕴涵算子一般化 | 第33-37页 |
第四章 有限链上一致模和t-算子的分配性 | 第37-54页 |
§4.1 引言 | 第37页 |
§4.2 关于一致模和t-算子的预备知识 | 第37-39页 |
§4.3 主要结果 | 第39-51页 |
4.3.1 F(x,G(y,z))=G(F(x,y),F(x,z))中F和G均为t-算子 | 第39-42页 |
4.3.2 F(x,G(y,z))=G(F(x,y),F(x,z))中F为t-算子,G为一致模 | 第42-44页 |
4.3.3 F(x,G(y,z))=G(F(x,y),F(x,z))中F为一致模,G为t-算子 | 第44-46页 |
4.3.4 F(x,G(y,z))=G(F(x,y),F(x,z))中F和G均为一致模 | 第46-51页 |
§4.4 有限链上对偶算子的分配性 | 第51-54页 |
第五章 有限链上可表示交换半一致模和t-算子的分配性 | 第54-66页 |
§5.1 引言 | 第54页 |
§5.2 可表示交换半一致模的定义及其性质 | 第54-59页 |
§5.3 可表示交换半一致模与t-算子的分配性 | 第59-66页 |
参考文献 | 第66-72页 |
致谢 | 第72-73页 |
攻读硕士学位期间发表的学术论文 | 第73-74页 |
学位论文评阅及答辩情况表 | 第74页 |