作品介紹

臨界的傳遞邏輯:模態(tài)邏輯的瀕表格性問(wèn)題探究

作者：杜珊珊//康宏逵整理日期：2017-09-24 15:21:24

圖書(shū)回顧了傳遞的瀕表格邏輯的研究發(fā)展歷史，敘述了傳遞的瀕表格邏輯判據(jù)的證明、應(yīng)用過(guò)程，試圖解決傳遞邏輯的瀕表格性的判據(jù)問(wèn)題和大格的子格NExtQ4中瀕表格邏輯族的基數(shù)、分類及公理化問(wèn)題。本書(shū)可供從事模態(tài)邏輯研究的工作者和對(duì)模態(tài)邏輯感興趣的讀者閱讀。

→ 臨界的傳遞邏輯:模態(tài)邏輯的瀕表格性問(wèn)題探究下載地址 ←

上一本：完美的智慧

下一本：細(xì)讀周易

作家文集

☆ 豆豆作品集	☆ 林清玄作品集	☆ 江河作品集
☆ 李碧華作品集	☆ 林海音作品集	☆ 馬原作品集
☆ 高曉聲作品集	☆ 蔣子龍作品集	☆ 劉紹棠作品集
☆ 周立波作品集	☆ 亦舒作品集	☆ 閆紅作品集
☆ 祝勇作品集	☆ 周曉楓作品集	☆ 石一楓作品集
☆ 張廣天作品集	☆ 蔣藍(lán)作品集	☆ 李亞偉作品集
☆ 王小波作品集	☆ 木心作品集	☆ 魯迅作品集
☆ 葉圣陶作品集	☆ 張愛(ài)玲作品集	☆ 沈從文作品集
☆ 老舍作品集	☆ 巴金作品集	☆ 曹禺作品集
☆ 錢鐘書(shū)作品集	☆ 汪曾祺作品集	☆ 徐志摩作品集