結(jié)構(gòu)證明論（第二版）

定　價(jià)：￥89.00

作　者：	馬明輝
出版社：	科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥66.70)

ISBN：	9787030754745	出版時(shí)間：	2023-06-01	包裝：	平裝膠訂
開本：		頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　證明論是邏輯基礎(chǔ)理論的分枝. 結(jié)構(gòu)證明論是證明論的分枝，它研究演算中的分析性證明. 本書在介紹古典句子邏輯和直覺主義邏輯的基礎(chǔ)上，給出公理系統(tǒng)、自然演繹和矢列演算等不同類型的邏輯演算. 根據(jù)結(jié)構(gòu)的定義和結(jié)構(gòu)規(guī)則，區(qū)分不同類型的矢列演算，并且以切割消除為工具，給出了插值性質(zhì)、可判定性等問題的證明. 本書還介紹了一階邏輯、模態(tài)邏輯和代數(shù)邏輯的矢列演算.