亚洲免费精美视频,一区二区三区偷拍

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

　　由劉新文、祝瑞等*的《可能世界的名字（精）》主要有以下內(nèi)容：**，比較全面研究了作為模態(tài)邏輯新分支的混合邏輯，這些研究對(duì)象是以這一族邏輯中的*小系統(tǒng)為主；第二，在介紹可證性邏輯新階段發(fā)展成果——核證邏輯的基礎(chǔ)上，建立了混合的核證邏輯的*小系統(tǒng)，解決了國(guó)際*名邏輯學(xué)家Melvin Fitting在2010年提出的未解決問(wèn)題。本書中的內(nèi)容，不僅推動(dòng)了國(guó)際、國(guó)內(nèi)邏輯學(xué)界相關(guān)問(wèn)題的研究進(jìn)展，對(duì)于國(guó)內(nèi)哲學(xué)界了解可能世界語(yǔ)義學(xué)、可證性等哲學(xué)概念的發(fā)展也具有重要意義。

作者簡(jiǎn)介

暫缺《可能世界的名字》作者簡(jiǎn)介

圖書目錄

前言章可能世界的名字一模態(tài)邏輯背景二混合邏輯的理論意義三混合邏輯簡(jiǎn)史第二章基本模態(tài)邏輯與時(shí)態(tài)邏輯一語(yǔ)言與邏輯二關(guān)系語(yǔ)義學(xué) 三正規(guī)模態(tài)邏輯的公理系統(tǒng) 四普通模態(tài)語(yǔ)言的表達(dá)能力第三章基本混合邏輯一基本混合語(yǔ)言二混合語(yǔ)言三混合邏輯四 Ku@和Ku 第四章一般完全性結(jié)果第五章混合時(shí)態(tài)邏輯一 Past算子二時(shí)態(tài) 第六章混合語(yǔ)言的擴(kuò)充一強(qiáng)力的模態(tài)詞二模態(tài)約束詞第七章可判定性、復(fù)雜性和內(nèi)插性第八章證明方法簡(jiǎn)介一預(yù)備知識(shí) 二加標(biāo)演繹第九章后承演算一后承演算SC 二后承@-演算三非標(biāo)準(zhǔn)的后承演算第十章自然推演系統(tǒng) 一普通自然推演系統(tǒng) 二布勞納系統(tǒng) 第十一章表列系統(tǒng) 一混雜演算二 @-演算第十二章消解證明一 HyloRes 二基于消解的自然推演系統(tǒng) 第十三章混合的核證邏輯背景二基本混合核證邏輯三進(jìn)一步的問(wèn)題參考文獻(xiàn) 索引