| 中文摘要 | 第1页 |
| 1 引言 | 第3-5页 |
| 2 模糊模态命题逻辑代数及其语义理论 | 第5-12页 |
| 2．1 广义泛代数 | 第5-6页 |
| 2．2 模糊模态命题逻辑的语义理论 | 第6-10页 |
| 2．3 模糊模态命题公式的归约 | 第10-12页 |
| 3 有限模糊模态命题逻辑代数及其广义重言式 | 第12-17页 |
| 3．1 有限模糊模态命题逻辑代数 | 第12-13页 |
| 3．2 有限模糊模态逻辑的广义重言式 | 第13-17页 |
| 4 ∑-(α-重言式)理论 | 第17-25页 |
| 4．1 修正的无穷值系统MW，MW|- | 第17-18页 |
| 4．2 广义重言式的分类 | 第18-22页 |
| 4．3 系统M(W|-)中的∑-广义重言式 | 第22-25页 |
| 5 结束语 | 第25-26页 |
| 6 致谢 | 第26-27页 |
| 7 英文摘要 | 第27-28页 |
| 8 参考文献 | 第28-30页 |
| 学位论文独创性声明 | 第30页 |
| 学位论文版权的使用授权书 | 第30页 |