| 前言 | 第1-9页 |
| 第一章 预备知识 | 第9-18页 |
| §1.1 二值命题逻辑系统L | 第9-11页 |
| §1.2 模糊命题逻辑系统Luk和MV代数 | 第11-14页 |
| §1.3 计量逻辑理论初步 | 第14-18页 |
| 第二章 逻辑公式的语构真度 | 第18-42页 |
| §2.1 二值命题逻辑系统L中公式的语构真度 | 第18-27页 |
| §2.2 模糊命题逻辑系统Luk中公式的语构真度 | 第27-37页 |
| §2.3 模糊命题逻辑系统Luk中公式的格值真度 | 第37-42页 |
| 第三章 构造性三Ⅰ算法及其还原性 | 第42-51页 |
| §3.1 FMP问题的三Ⅰ算法 | 第42-46页 |
| §3.2 FMP问题的α-三Ⅰ算法 | 第46-48页 |
| §3.3 三IMP解的还原性 | 第48-51页 |
| 总结 | 第51-52页 |
| 参考文献 | 第52-55页 |
| 致谢 | 第55-56页 |
| 攻读硕士学位期间的研究成果 | 第56页 |