非良基集、余代數(shù)與模態(tài)邏輯研究

定　價(jià)：￥78.00

作　者：	史璟
出版社：	經(jīng)濟(jì)科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787521806649	出版時(shí)間：	2019-06-01	包裝：
開(kāi)本：		頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(shū)是我國(guó)學(xué)術(shù)界*部關(guān)于集合論、余代數(shù)與模態(tài)邏輯交叉研究的著作。首先，以非良基集合為語(yǔ)義結(jié)構(gòu)對(duì)模態(tài)邏輯進(jìn)行解釋，研究模態(tài)邏輯在集合論語(yǔ)義下的對(duì)應(yīng)理論、可定義性及表達(dá)力等問(wèn)題，取得了一些新的研究成果，豐富了集合論理論和邏輯理論。其次，把余代數(shù)看做非良基集合的抽象數(shù)學(xué)模型，它作為對(duì)關(guān)系語(yǔ)義學(xué)的推廣，著重研究余代數(shù)模態(tài)邏輯。

作者簡(jiǎn)介

　　史？Z，副教授，邏輯學(xué)專業(yè)碩士研究生導(dǎo)師。中國(guó)邏輯學(xué)會(huì)、北京市邏輯學(xué)會(huì)會(huì)員。本科生課程：邏輯學(xué)；碩士研究生課程：集合論、數(shù)理邏輯（雙語(yǔ)）、模態(tài)邏輯（雙語(yǔ)）、哲學(xué)邏輯、邏輯原著選讀、邏輯前沿講座。

圖書(shū)目錄

●章模態(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ǔ)公理的變形
●部分目錄