MTL-代数的稳定化子及两类逻辑算子研究
摘要 | 第4-6页 |
ABSTRACT | 第6-7页 |
前言 | 第10-18页 |
第一章 预备知识 | 第18-31页 |
1.1 偏序集与三角模的相关知识 | 第18-23页 |
1.2 MTL逻辑系统的相关知识 | 第23-26页 |
1.3 MTL-代数与逻辑代数的相关知识 | 第26-31页 |
第二章 MTL-代数上的稳定化子 | 第31-52页 |
2.1 MTL-代数上的蕴涵稳定化子 | 第31-40页 |
2.2 MTL-代数上的乘法稳定化子 | 第40-46页 |
2.3 MTL-代数上的对合稳定化子 | 第46-52页 |
第三章 MTL-代数上的真值算子 | 第52-70页 |
3.1 MTL-代数上的真值算子 | 第52-57页 |
3.2 真值MTL-代数上的真值滤子 | 第57-67页 |
3.3 真值MTL-逻辑系统 | 第67-70页 |
第四章 MTL-代数上的相似似算子 | 第70-84页 |
4.1 MTL-代数上的相似算子 | 第70-74页 |
4.2 相似MTL-代数的表示 | 第74-80页 |
4.3 相似MTL-逻辑系统 | 第80-84页 |
第五章 总结与展望 | 第84-86页 |
参考文献 | 第86-96页 |
攻读博士学位期间取得的科研成果 | 第96-97页 |
攻读博士学位期间主持和参与的主要科研项目 | 第97-98页 |
致谢 | 第98-100页 |
作者简介 | 第100-101页 |