| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 第1章 模糊逻辑综述 | 第8-21页 |
| ·模糊逻辑的发展及研究状况 | 第8-11页 |
| ·预备知识 | 第11-14页 |
| ·几种常见的模糊逻辑系统及其扩张 | 第14-21页 |
| ·基础模糊逻辑形式系统BL | 第14-15页 |
| ·BL-代数及BL的模式扩张系统 | 第15-16页 |
| ·模糊逻辑形式系统MTL及其扩张系统 | 第16-18页 |
| ·形式系统L~*及其代数结构 | 第18-21页 |
| 第2章 一类带参数的SS-三角模 | 第21-28页 |
| 第3章 基于SS-三角模的形式系统UL~* | 第28-35页 |
| ·形式系统UL~*及其可靠性定理 | 第28-32页 |
| ·UL~*-代数及UL~*-系统的完备性 | 第32-33页 |
| ·UL~*系统的意义及在近似推理中的应用 | 第33-35页 |
| 第4章 模糊逻辑系统UL~*不具有标准完备性 | 第35-39页 |
| 第5章 UL~*谓词逻辑系统的构造及其完备性的证明 | 第39-51页 |
| ·MIL(?)及其模式扩张 | 第39-42页 |
| ·UL~*谓词逻辑的语义理论 | 第42-46页 |
| ·UL~*谓词逻辑的语构理论 | 第46-47页 |
| ·UL~*谓词逻辑的完备性 | 第47-51页 |
| 第6章 结论与展望 | 第51-52页 |
| ·论文总结 | 第51页 |
| ·展望 | 第51-52页 |
| 致谢 | 第52-53页 |
| 参考文献 | 第53-55页 |
| 攻读学位期间的研究成果 | 第55页 |