第一章 绪论 1
1.1 司各脱法则 1
1.2 国内外相关研究概述 2
1.3 弗协调逻辑的基本策略 4
1.4 逻辑的本质 7
1.5 研究内容与结构安排 8
第二章 对当关系逻辑 10
2.1 否定的类型 10
2.2 对当关系逻辑的理论缘起 11
2.3 对当关系逻辑 18
2.4 对当关系逻辑的判定问题 26
2.5 对当关系逻辑的扩充及其应用 33
第三章 知识蕴涵命题逻辑 41
3.1 知识蕴涵 41
3.2 知识蕴涵命题逻辑公理系统 44
3.3 可靠性和完全性 50
3.4 可判定性 53
第四章 知识蕴涵模态逻辑 60
4.1 模态语言 60
4.2 知识蕴涵模态逻辑公理系统 61
4.3 系统的元理论 66
第五章 知识蕴涵时态逻辑 76
5.1 时态语言 76
5.2 知识蕴涵时态逻辑公理系统 78
5.3 Kt的元理论 84
第六章 知识蕴涵直觉主义逻辑 90
6.1 形式语言 90
6.2 知识蕴涵直觉主义命题逻辑公理系统 91
6.3 知识蕴涵直觉主义逻辑的形式语义 93
6.4 ID的元理论 96
第七章 知识蕴涵谓词逻辑 102
7.1 形式语言 102
7.2 知识蕴涵谓词逻辑公理系统 104
7.3 知识蕴涵谓词逻辑的形式语义 106
7.4 系统的元理论 113
第八章 否定、蕴涵和弗协调逻辑 121
8.1 Cn（1≤n＜ω）及Cω中的否定 121
8.2 知识蕴涵与其他蕴涵的关系 126
第九章 不协调信息转换 135
9.1 不协调信息向协调信息的转换 135
9.2 转换的基本类型 136
9.3 基本概念 137
9.4 可容变换存在性证明 139
9.5 解悖变换的存在性 140
第十章 弗协调逻辑在计算机科学中的应用 143
10.1 弗协调逻辑在计算机科学中的应用概述 143
10.2 应用案例分析 146
10.3 基于新系统的应用分析 153
结语 156
参考文献及相关研究资料 158