掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
妙相梵容
-
>
基立爾蒙文:蒙文
-
>
我的石頭記
-
>
心靈元氣社
-
>
女性生存戰爭
-
>
縣中的孩子 中國縣域教育生態
-
>
(精)人類的明天(八品)
買過本商品的人還買了
臨界的傳遞邏輯-模態邏輯的瀕表格性問題研究 版權信息
- ISBN：9787030530813
- 條形碼：9787030530813 ; 978-7-03-053081-3
- 裝幀：暫無
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
臨界的傳遞邏輯-模態邏輯的瀕表格性問題研究 本書特色
圖書回顧了傳遞的瀕表格邏輯的研究發展歷史，敘述了傳遞的瀕表格邏輯判據的證明、應用過程，試圖解決傳遞邏輯的瀕表格性的判據問題和大格的子格NExtQ4中瀕表格邏輯族的基數、分類及公理化問題。本書可供從事模態邏輯研究的工作者和對模態邏輯感興趣的讀者閱讀。
臨界的傳遞邏輯-模態邏輯的瀕表格性問題研究 內容簡介
圖書回顧了傳遞的瀕表格邏輯的研究發展歷史，敘述了傳遞的瀕表格邏輯判據的證明、應用過程，試圖解決傳遞邏輯的瀕表格性的判據問題和大格的子格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
展開全部
書友推薦
- >
名家帶你讀魯迅:朝花夕拾
- >
伊索寓言-世界文學名著典藏-全譯本
- >
羅曼·羅蘭讀書隨筆-精裝
- >
姑媽的寶刀
- >
二體千字文
- >
回憶愛瑪儂
- >
唐代進士錄
- >
人文閱讀與收藏·良友文學叢書:一天的工作
本類暢銷
