第1章 緒論
1.1 形成本書的學術背景
1.2 **外研究現狀
1.3 本書的主要內容
第2章 預備知識
2.1 格蘊涵代數和格值命題邏輯繫統簡介
2.2 格值一階邏輯繫統LF(X)中的公式及其解釋
2.3 語言真值格蘊涵代數簡介
第3章 格值邏輯繫統中廣義文字的a-歸結性
3.1 格值命題邏輯繫統中的a-歸結與a-歸結演繹
3.2 格值命題邏輯繫統(Ln-L2)P(X)中a-IESF的a-歸結性
3.3 格值命題邏輯繫統(Ln-L2)P(X)中1-IESF的a-歸結性
3.4 格值命題邏輯繫統(Ln-L2)P(X)中2-IESF的a-歸結性
第4章 格值邏輯繫統的a-語義歸結自動推理
4.1 基於命題變元和形如x→b廣義文字的a-語義歸結方法
4.2 基於命題變元和形如x→(Z一)b)廣義文字的a-語義歸結
4.3 LP(X)中基於形如C*V x的廣義子句的a-語義歸結方法
4.4 LP(X)中基於一類廣義子句集的a-語義歸結方法
4.5 語言真值格值命題邏輯rr(0X2)P(X)中的a-語義歸結
4.6 格值一階邏輯繫統LF(X)中的a-語義歸結方法
4.7 語言真值格值一階邏輯Cr(nx2)F(X)中的a-語義歸結
第5章 格值邏輯繫統的a-廣義語義歸結自動推理
5.1 格值命題邏輯繫統LP(X)的d-廣義歸結
5.2 格值命題邏輯繫統LP(X)的a-廣義語義歸結方法
5.3 語言真值格值命題邏輯Cv(nx2)P(X)的a-廣義語義歸結
5.4 格值一階邏輯繫統LF(X)中的a-廣義語義歸結方法
5.5 語言真值格值一階邏輯Lv(nx2，F(X)的a-廣義語義歸結
第6章 格值邏輯繫統中歸結方法的相容性
6.1 格值一階邏輯LF(X)中a-語義歸結方法與刪除策略的相容性
6.2 格值一階邏輯中a-廣義語義歸結方法與廣義刪除策略的相容性
6.3 LF(X)中a-廣義歸結和支撐集歸結的相容性
參考文獻
附錄