天儒同异:清初儒家基督徒研究
出版时间:
2019-07
ISBN:
9787567133990
定价:
58.00
装帧:
平装
开本:
16开
纸张:
胶版纸
41人买过
-
结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法, 通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等.《结构证明论》还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论. 目录
丛书序
前言
第1章 命题逻辑 1
1.1 经典命题逻辑 1
1.2 直觉主义命题逻辑 15
1.3 习题 22
第2章 自然演绎 26
2.1 费奇式自然演绎 26
2.2 根岑式自然演绎系统 32
2.3 正规化 39
2.4 完全性 49
2.5 习题 51
第3章 矢列演算 54
3.1 G0型矢列演算 54
3.2 切割消除 61
3.3 可判定性 81
3.4 插值性质 88
3.5 习题 100
第4章 矢列演算的结构规则 104
4.1 G1型矢列演算 104
4.2 G2型矢列演算 118
4.3 G3型矢列演算 120
4.4 G4型矢列演算 140
4.5 嵌入定理 150
4.6 习题 156
第5章 一阶逻辑 158
5.1 一阶逻辑的公理系统 158
5.2 一阶逻辑的矢列演算 170
5.3 直觉主义谓词逻辑的矢列演算 181
5.4 习题 186?
第6章 经典模态命题逻辑 188
6.1 正规模态逻辑 188
6.2 模态矢列演算 202
6.3 超矢列演算 215
6.4 习题 225
第7章 代数逻辑 228
7.1 偏序代数结构 228
7.2 格与分配格 231
7.3 加算子的分配格 244
7.4 习题 251
参考文献 253
-
内容简介:
结构证明论研究形式系统中证明的结构.《结构证明论》介绍经典逻辑和直觉主义逻辑的自然演绎和矢列演算,它们是结构证明论的基础理论.根岑式矢列演算的基本定理是切割消除. 运用证明论研究方法, 通过分析证明的结构可以得到一些逻辑性质,如子公式性质、可判定性、插值性质等.《结构证明论》还介绍了经典模态命题逻辑及一些代数逻辑的结构证明论.
-
目录:
目录
丛书序
前言
第1章 命题逻辑 1
1.1 经典命题逻辑 1
1.2 直觉主义命题逻辑 15
1.3 习题 22
第2章 自然演绎 26
2.1 费奇式自然演绎 26
2.2 根岑式自然演绎系统 32
2.3 正规化 39
2.4 完全性 49
2.5 习题 51
第3章 矢列演算 54
3.1 G0型矢列演算 54
3.2 切割消除 61
3.3 可判定性 81
3.4 插值性质 88
3.5 习题 100
第4章 矢列演算的结构规则 104
4.1 G1型矢列演算 104
4.2 G2型矢列演算 118
4.3 G3型矢列演算 120
4.4 G4型矢列演算 140
4.5 嵌入定理 150
4.6 习题 156
第5章 一阶逻辑 158
5.1 一阶逻辑的公理系统 158
5.2 一阶逻辑的矢列演算 170
5.3 直觉主义谓词逻辑的矢列演算 181
5.4 习题 186?
第6章 经典模态命题逻辑 188
6.1 正规模态逻辑 188
6.2 模态矢列演算 202
6.3 超矢列演算 215
6.4 习题 225
第7章 代数逻辑 228
7.1 偏序代数结构 228
7.2 格与分配格 231
7.3 加算子的分配格 244
7.4 习题 251
参考文献 253
查看详情
-
九品
北京市昌平区
平均发货22小时
成功完成率87.17%
-
九品
北京市海淀区
平均发货25小时
成功完成率87.6%
-
全新
北京市通州区
平均发货9小时
成功完成率89.78%
-
全新
北京市丰台区
平均发货7小时
成功完成率91.05%
-
九品
河北省保定市
平均发货14小时
成功完成率94.41%
-
全新
北京市朝阳区
平均发货12小时
成功完成率85.31%
-
全新
北京市海淀区
平均发货10小时
成功完成率93.53%
-
九品
河南省周口市
平均发货7小时
成功完成率97.03%
-
全新
江苏省南京市
平均发货24小时
成功完成率90.53%
-
九品
-
八五品
上海市宝山区
平均发货11小时
成功完成率93.94%
-
全新
江西省吉安市
平均发货57小时
成功完成率89.46%
-
全新
江西省吉安市
平均发货59小时
成功完成率87.5%
-
全新
北京市通州区
平均发货23小时
成功完成率67.5%