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页 |