非良基集、余代數(shù)與模態(tài)邏輯研究
定 價:78 元
叢書名:無
- 作者:史?Z
- 出版時間:2019/9/1
- ISBN:9787521806649
- 出 版 社:經(jīng)濟科學(xué)出版社
- 中圖法分類:B815.1
- 頁碼:
- 紙張:膠版紙
- 版次:
- 開本:16開
本書是我國學(xué)術(shù)界*部關(guān)于集合論、余代數(shù)與模態(tài)邏輯交叉研究的著作。首先,以非良基集合為語義結(jié)構(gòu)對模態(tài)邏輯進行解釋,研究模態(tài)邏輯在集合論語義下的對應(yīng)理論、可定義性及表達力等問題,取得了一些新的研究成果,豐富了集合論理論和邏輯理論。其次,把余代數(shù)看做非良基集合的抽象數(shù)學(xué)模型,它作為對關(guān)系語義學(xué)的推廣,著重研究余代數(shù)模態(tài)邏輯。
史?Z,副教授,邏輯學(xué)專業(yè)碩士研究生導(dǎo)師。中國邏輯學(xué)會、北京市邏輯學(xué)會會員。本科生課程:邏輯學(xué); 碩士研究生課程:集合論、數(shù)理邏輯(雙語)、模態(tài)邏輯(雙語)、哲學(xué)邏輯、邏輯原著選讀、邏輯前沿講座。
●章 模態(tài)邏輯基礎(chǔ)
● 1.1 模態(tài)邏輯的句法和語義
● 1.2 模態(tài)對應(yīng)理論
● 1.3 模型和框架構(gòu)造
● 1.4 典范模型和完全性
● 1.5 有窮模型性質(zhì)
●第2章 非良基集合論基礎(chǔ)
● 2.1 集合論的基礎(chǔ)知識
● 2.2 良基集合與非良基集合
● 2.3 非良基集與循環(huán)現(xiàn)象
● 2.4 本元
● 2.5 集合與圖
● 2.6 平坦方程組
● 2.7 集合連續(xù)算子
● 2.8 不動點
● 2.9 集合上的互模擬關(guān)系
●第3章 反基礎(chǔ)公理
● 3.1 反基礎(chǔ)公理的基本形式
● 3.2 反基礎(chǔ)公理的模型
● 3.3 反基礎(chǔ)公理的變形
●部分目錄