丛书序
前言
章 命题逻辑
1.1 经典命题逻辑
1.2 直觉主义命题逻辑
1.3 习题
第2章 自然演绎
2.1 费奇式自然演绎
2.2 根岑式自然演绎系统
2.3 正规化
2.4 完全性
2.5 习题
第3章 矢列演算
3.1 G0型矢列演算
3.2 切割消除
3.3 可判定性
3.4 插值性质
3.5 习题
第4章 矢列演算的结构规则
4.1 G1型矢列演算
4.2 G2型矢列演算
4.3 G3型矢列演算
4.4 G4型矢列演算
4.5 嵌入定理
4.6 习题
第5章 一阶逻辑
5.1 一阶逻辑的公理系统
5.2 一阶逻辑的矢列演算
5.3 直觉主义谓词逻辑的矢列演算
5.4 习题
第6章 经典模态命题逻辑
6.1 正规模态逻辑
6.2 模态矢列演算
6.3 超矢列演算
6.4 习题
第7章 代数逻辑
7.1 偏序代数结构
7.2 格与分配格
7.3 加算子的分配格
7.4 习题
参考文献