《基于格值逻辑的语义归结自动推理》的内容分为6章。靠前、2章介绍了基于格值逻辑的归结自动推理研究概况和格值逻辑系统的初步知识；第3章介绍了格值逻辑系统中广义文字的归结性；第4章介绍了格值逻辑系统的语义归结自动推理；第5章介绍了格值逻辑系统的广义语义归结自动推理；第6章介绍了格值逻辑系统中归结方法的相容性。
《基于格值逻辑的语义归结自动推理》适合于计算机科学和人工智能的有关从业人员阅读，也可供高等院校计算机软件与理论等专业的高年级本科生和研究生参考。

章绪论
1.1形成本书的学术背景
1.2国内外研究现状
1.3本书的主要内容
第2章预备知识
2.1格蕴涵代数和格值命题逻辑系统简介
2.2格值一阶逻辑系统LF(X)中的公式及其解释
2.3语言真值格蕴涵代数简介
第3章格值逻辑系统中广义文字的α-归结性
3.1格值命题逻辑系统中的α-归结与α-归结演绎
3.2格值命题逻辑系统(Ln*L2)P(X)中0-IESF的α-归结性
3.3格值命题逻辑系统(Ln*L2)P(X)中1-IESF的α-归结性
3.4格值命题逻辑系统(Ln*L2)P(X)中2-IESF的α-归结性
第4章格值逻辑系统的α-语义归结自动推理
4.1基于命题变元和形如x-6广义文字的α-语义归结方法
4.2基于命题变元和形如x-(x-b)广义文字的α-语义归结
……