| 中文摘要 | 第1-8页 |
| 英文摘要 | 第8-11页 |
| 第一章 绪论 | 第11-21页 |
| §1．1 形成本文的学术背景 | 第11-13页 |
| §1．2 国内外研究现状分析 | 第13-21页 |
| §1．2．1 关于多值逻辑、模糊逻辑及格值逻辑的研究概况 | 第13-16页 |
| §1．2．2 基于归结原理的自动推理理论与方法的研究概况 | 第16-18页 |
| §1．2．3 本文的研究工作 | 第18-19页 |
| §1．2．4 预备知识 | 第19-21页 |
| 第二章 关于格蕴涵代数的研究 | 第21-43页 |
| §2．1 格蕴涵代数简介 | 第21-23页 |
| §2．2 格蕴涵代数的性质 | 第23-25页 |
| §2．3 格蕴涵代数中的左幂等元 | 第25-31页 |
| §2．4 格蕴涵代数中滤子的性质 | 第31-35页 |
| §2．5 格蕴涵代数中的拓扑结构 | 第35-43页 |
| 第三章 格值命题逻辑系统LP（X）中不可分极简式的性质 | 第43-71页 |
| §3．1 格值逻辑公式的广义范式 | 第43-48页 |
| §3．2 不可分极简式的判定 | 第48-71页 |
| 第四章 格值命题逻辑系统LP（X）中不可分极简式的α-归结域 | 第71-97页 |
| §4．1 0-IESF的α-归结域 | 第71-80页 |
| §4．2 1-IESF的α-归结域 | 第80-97页 |
| 第五章 基于格值命题逻辑系统LP（X）的α-自动推理方法 | 第97-145页 |
| §5．1 基于经典逻辑的一种新的自动推理方法 | 第97-109页 |
| §5．2 基于格值命题逻辑LP（X）的α-自动推理方法 | 第109-145页 |
| 第六章 结论与展望 | 第145-148页 |
| §6．1 结论 | 第145-146页 |
| §6．2 展望 | 第146-148页 |
| 参考文献 | 第148-153页 |
