☆☆☆☆☆
簡體網頁||繁體網頁



點擊這裡下載

類似圖書 點擊查看全場最低價

---

內容簡介

　　《臨界的傳遞邏輯——模態邏輯的瀕錶格性問題探究》詳述傳遞的瀕錶格邏輯的判據及其應用，以及在此基礎上所做的關於瀕錶格邏輯的若乾研究結果，解決瞭傳遞邏輯格的瀕錶格性的語義判據，以及傳遞邏輯格的子格NExtQ4中瀕錶格邏輯族的基數、分類及公理化問題，展示瞭如何將已有的傳遞的瀕錶格邏輯的結果納入《臨界的傳遞邏輯——模態邏輯的瀕錶格性問題探究》提齣的方法和視野。《臨界的傳遞邏輯——模態邏輯的瀕錶格性問題探究》共分為三個部分——序篇、主篇和附錄。序篇介紹瞭背景知識，迴顧瞭傳遞的瀕錶格邏輯的研究發展史；主篇完整敘述瞭傳遞的瀕錶格邏輯的語義判據的證明、應用過程及其他相關的研究結果；附錄給讀者提供瞭備查的相關知識。

目錄

第一編 序篇
第一章 背景知識一覽 3
第一節 邏輯K4及其正規擴充 3
第二節 K4-邏輯的剋裏普剋語義學 8
第三節 臨界的傳遞邏輯——K4-邏輯格中的瀕錶格邏輯 36
第二章 曆史的迴顧：1940～1980年 40
第一節 孤例S5 40
第二節 走齣孤例 46
第三節 NExtS4的簡單性 52
第四節 傳遞邏輯格NExtK4還在嚮我們挑戰 59
第二編 主篇
引言——我們的目的和方法 73
第三章 點式歸約初探 76
第一節 集式歸約和點式歸約 76
第二節 傳遞框架間的點式歸約 79
第四章 傳遞邏輯格中有窮深度瀕錶格邏輯的語義判據 87
第一節 傳遞的瀕錶格邏輯的刻畫框架 87
第二節 Alt N-顛覆子、Alt N-反駁子和框架的瀕錶格性 92
第三節 有窮深度瀕錶格邏輯的語義判據 106
第五章 傳遞邏輯格中無窮深度瀕錶格邏輯的語義判據 122
第一節 刻畫無窮深度瀕錶格邏輯的有窮框架類的規範化 122
第二節 刻畫無窮深度瀕錶格邏輯的三類框架——收攏式既約框架、*-風箏和*-風箏 133
第三節 無窮深度瀕錶格邏輯的語義判據 138
第六章 瀕錶格邏輯語義判據的應用 149
第一節 麥金森分類法眼光下的模態邏輯Q4 149
第二節 瀕錶格邏輯的語義判據的應用——NExtQ4 153
第三節 NExtS4、NExtD4和NExtGL中瀕錶格邏輯的範形 161
第七章 從一種新觀點看問題 165
第一節 傳遞的瀕錶格邏輯和它們的錶格擴充 165
第二節 傳遞的瀕錶格邏輯的語義特徵 170
參考文獻 187
附錄A 論麥金森定理及其等價命題 192
附錄B 模態鏡子裏的反歐性 202
附錄C 一般框架和典範公式 217
索引 231
後記 238
臨界的傳遞邏輯——模態邏輯的瀕錶格性問題探究 下載 mobi epub pdf txt 電子書

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

類似圖書 點擊查看全場最低價