結(jié)構(gòu)證明論

定　價：￥88.00

作　者：	馬明輝著
出版社：	科學(xué)出版社
叢編項：	高等學(xué)校邏輯學(xué)專業(yè)系列教材
標(biāo)　簽：	暫缺

購買這本書可以去

京東 (￥88.00)

ISBN：	9787030616012	出版時間：	2019-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	254	字?jǐn)?shù)：

內(nèi)容簡介

　　結(jié)構(gòu)證明論研究形式系統(tǒng)中證明的結(jié)構(gòu).《結(jié)構(gòu)證明論》介紹經(jīng)典邏輯和直覺主義邏輯的自然演繹和矢列演算，它們是結(jié)構(gòu)證明論的基礎(chǔ)理論.根岑式矢列演算的基本定理是切割消除. 運用證明論研究方法，通過分析證明的結(jié)構(gòu)可以得到一些邏輯性質(zhì)，如子公式性質(zhì)、可判定性、插值性質(zhì)等.《結(jié)構(gòu)證明論》還介紹了經(jīng)典模態(tài)命題邏輯及一些代數(shù)邏輯的結(jié)構(gòu)證明論.

作者簡介

暫缺《結(jié)構(gòu)證明論》作者簡介

圖書目錄

目錄
叢書序
前言
第1章命題邏輯 1
1.1 經(jīng)典命題邏輯 1
1.2 直覺主義命題邏輯 15
1.3 習(xí)題 22
第2章自然演繹 26
2.1 費奇式自然演繹 26
2.2 根岑式自然演繹系統(tǒng) 32
2.3 正規(guī)化 39
2.4 完全性 49
2.5 習(xí)題 51
第3章矢列演算 54
3.1 G0型矢列演算 54
3.2 切割消除 61
3.3 可判定性 81
3.4 插值性質(zhì) 88
3.5 習(xí)題 100
第4章矢列演算的結(jié)構(gòu)規(guī)則 104
4.1 G1型矢列演算 104
4.2 G2型矢列演算 118
4.3 G3型矢列演算 120
4.4 G4型矢列演算 140
4.5 嵌入定理 150
4.6 習(xí)題 156
第5章一階邏輯 158
5.1 一階邏輯的公理系統(tǒng) 158
5.2 一階邏輯的矢列演算 170
5.3 直覺主義謂詞邏輯的矢列演算 181
5.4 習(xí)題 186？
第6章經(jīng)典模態(tài)命題邏輯 188
6.1 正規(guī)模態(tài)邏輯 188
6.2 模態(tài)矢列演算 202
6.3 超矢列演算 215
6.4 習(xí)題 225
第7章代數(shù)邏輯 228
7.1 偏序代數(shù)結(jié)構(gòu) 228
7.2 格與分配格 231
7.3 加算子的分配格 244
7.4 習(xí)題 251
參考文獻(xiàn) 253