| <中文摘要> | 第1-5页 |
| <关键词> | 第5-6页 |
| <英文摘要> | 第6-7页 |
| <英文关键词> | 第7-9页 |
| 前言 | 第9-14页 |
| 第一章 基于三角模的模糊逻辑系统L~* | 第14-27页 |
| 第一节 模糊命题演算PC(T_0）的形式演绎系统L~* | 第14-17页 |
| 第二节 L~*中的元定理 | 第17-24页 |
| 第三节 L~*的若干重要性质 | 第24-27页 |
| 第二章 L~*关于(?)-语义的完备性定理 | 第27-30页 |
| 第一节 L~*的Henkin扩张 | 第27-28页 |
| 第二节 全序R_0 -代数的若干性质 | 第28-29页 |
| 第三节 L~*关于（？）-语义的完备性定理 | 第29-30页 |
| 第三章 C_n~*关于W_n-语义的完备性定理 | 第30-35页 |
| 第一节 形式系统C_n~*的构造 | 第30-32页 |
| 第二节 C_n~*的完备性定理 | 第32-35页 |
| 第四章 模糊谓词演算的形式系统K_L~* | 第35-43页 |
| 第一节 K_L~*的构造和性质 | 第35-39页 |
| 第二节 K_L~*的全序R_0-解释 | 第39-43页 |
| 第五章 K_L~*关于(?)-解释的完备性定理 | 第43-48页 |
| 致谢 | 第48-49页 |
| <引文> | 第49-51页 |