序 程其襄 1
前言 1
第一章 重言衍堆 1
§1．1 真值联结词 1
§1．2 经典命题逻辑系统P 10
§1．3 重言衍推系统Efde 24
§1．4 衍推范式 35
§1．5 格和滤 46
§1．6 德摩根格和内涵格 54
§1．7 Efde的代数语义 64
第二章 纯蕴涵演算 73
§2．1直觉主义蕴涵 73
§2．2 严格蕴涵和相干蕴涵 83
§2．3 衍推与T蕴涵 92
§2．4 必然性 98
§2．5 相干原理和等价系统 107
第三章 相干命题逻辑 117
§3．1 相干命题逻辑系统R 117
§3．2 系统NR 128
§3．3 内涵联结词和R的一致性 139
§3．4 相干原理 148
§3．5 R理论 155
§3．6 r的可接受性 163
§3．7 R的语义模型 173
§3．8 系统R的可靠性与完全性 180
第四章 系统R的近邻 192
§4．1 衍推命题逻辑系统E和NE 192
§4．2 系统T和系统RM 206
§4．3 模态命题逻辑系统S4 215
§4．4 克里普克语义 228
§4．5 进一步的讨论 243
主要参考文献 253