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