亚洲一线产区二线产区区别,亚洲成av人片一区二区密柚在线,国产日韩欧美综合视频专区,亚洲成A人片在线观看无码不卡,中文字幕视频一区二区,亚洲日本国产精品色戒

本書(shū)研究命題邏輯的結構推理，分為四章：一、經(jīng)典命題邏輯的結構推理；二、直覺(jué)主義命題邏輯的結構推理；三、相干命題邏輯及其線(xiàn)性片段的結構推理；四、和正結合演算的結構推理。內容涉及多種結構推理系統的建構，結構推理系統與相應公理系統的等價(jià)性，在語(yǔ)義理論的基礎上，證明了各個(gè)結構推理系統的可靠性與完全性，并考察了正結合演算結構推理系統BL-D的可判定性。

本書(shū)是教育部人文社會(huì )科學(xué)重點(diǎn)研究基地重大項目“結構推理及其應用研究”的最終成果。

馮棉，華東師范大學(xué)終身教授，博士生導師，哲學(xué)系邏輯室主任，邏輯學(xué)博士點(diǎn)負責人，國務(wù)院特殊津貼獲得者，中國邏輯學(xué)會(huì )副會(huì )長(cháng)，上海市邏輯學(xué)會(huì )會(huì )長(cháng)。撰有專(zhuān)著(zhù)《經(jīng)典邏輯與直覺(jué)主義邏輯》、《廣義模態(tài)邏輯》、《哲學(xué)邏輯與邏輯哲學(xué)》、《相干與衍推邏輯》、《可能世界與邏輯研究》、《相干邏輯研究》等多部。參與編寫(xiě)《哲學(xué)大辭典》、《計算機科學(xué)技術(shù)百科全書(shū)》、《辭?！?、《外國哲學(xué)大辭典》、《邏輯學(xué)大辭典》（副主編）、《大辭?！返绒o書(shū)和《邏輯學(xué)導論》等多部教材。主要研究領(lǐng)域為“現代邏輯”和“邏輯哲學(xué)”。

前言

第一章 經(jīng)典命題邏輯的結構推理

§1. 1 經(jīng)典命題邏輯的結構推理系統PL

§1. 2 切割規則與其它導出規則

§1. 3 系統PL與相應公理系統P的等價(jià)性

第二章 直覺(jué)主義命題邏輯的結構推理

§2. 1 直覺(jué)主義命題邏輯的結構推理系統IL

§2. 2 系統IL與相應公理系統IP的等價(jià)性

§2. 3 二元關(guān)系語(yǔ)義

第三章 相干命題邏輯及其線(xiàn)性片段的結構推理

§3. 1 相干命題邏輯的結構推理系統RL及其線(xiàn)性片段BCL

§3. 2 系統RL、BCL與相應公理系統R、BC的等價(jià)性

§3. 3 三元關(guān)系語(yǔ)義

§3. 4 系統RL、BCL的完全性

第四章 正結合演算的結構推理

§4. 1 正結合演算的結構推理系統BL

§4. 2 系統BL與相應公理系統B的等價(jià)性

§4. 3 擇類(lèi)語(yǔ)義

§4. 4 正結合演算結構推理系統BL-D的可判定性

結構推理是現代邏輯的重要推理方式之一，它從結構規則的層面上揭示日常推理中的多種推理方式， 對于邏輯推理機制的深入研究和人工智能的開(kāi)發(fā)具有重要的理論意義和實(shí)際價(jià)值。本書(shū)系統地考察了命題邏輯的結構推理， 是探究這一邏輯前沿領(lǐng)域的力作。

“智慧的探索叢書(shū)”收入了華東師范大學(xué)哲學(xué)學(xué)科幾代學(xué)人的哲學(xué)論著(zhù)，展示了幾代學(xué)人的智慧之思。

《結構推理》系統地考察了命題邏輯的結構推理，是國內第一次系統關(guān)注并深入推進(jìn)這一邏輯前沿的力作，填補了國內邏輯學(xué)在這一重要領(lǐng)域內的空白。全書(shū)內容豐富，信息量大；結構合理，層次感強；文字簡(jiǎn)潔，符號精確；行之明快，條理清晰，充分體現了現代邏輯研究的“數理性”和“嚴格性”特點(diǎn)。