| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 引言 | 第8-12页 |
| 1 预备知识 | 第12-28页 |
| ·基于模糊基数的模糊量词 | 第12-15页 |
| ·基于可能性理论的近似推理理论 | 第15-19页 |
| ·积分理论和模糊量词 | 第19-22页 |
| ·? - 积分和→- 积分 | 第22-28页 |
| 2 带有语言量词的逻辑系统MTLQ | 第28-39页 |
| ·逻辑系统MTL 及MTL 代数 | 第28-29页 |
| ·逻辑系统MTLQ及其语义 | 第29-34页 |
| ·逻辑系统MTLQ的弱完备性定理 | 第34-39页 |
| 3 一阶逻辑系统IMTLQ*和带有语言量词的形式三I 算法 | 第39-52页 |
| ·一阶逻辑系统IMTL | 第39-40页 |
| ·多元一阶逻辑系统IMTLQ* | 第40-45页 |
| ·基于逻辑系统IMTLQ*的形式三I 算法 | 第45-52页 |
| 4 基于语言量词积分语义的对当关系 | 第52-61页 |
| ·古典对当方阵 | 第52-53页 |
| ·积分语义的广义对当方阵 | 第53-58页 |
| ·举例 | 第58-61页 |
| 5 总结 | 第61-63页 |
| 参考文献 | 第63-66页 |