非良基集.余代数与模态逻辑研究_PDF下载[47MB-百度云]史璟

本书特色

[

本书是我国学术界*部关于集合论、余代数与模态逻辑交叉研究的著作。首先，以非良基集合为语义结构对模态逻辑进行解释，研究模态逻辑在集合论语义下的对应理论、可定义性及表达力等问题，取得了一些新的研究成果，丰富了集合论理论和逻辑理论。其次，把余代数看做非良基集合的抽象数学模型，它作为对关系语义学的推广，着重研究余代数模态逻辑。

]

作者简介

[

史?Z，副教授，逻辑学专业硕士研究生导师。中国逻辑学会、北京市逻辑学会会员。本科生课程：逻辑学；硕士研究生课程：集合论、数理逻辑（双语）、模态逻辑（双语）、哲学逻辑、逻辑原著选读、逻辑前沿讲座。

]

●章模态逻辑基础● 1.1 模态逻辑的句法和语义● 1.2 模态对应理论● 1.3 模型和框架构造● 1.4 典范模型和完全性● 1.5 有穷模型性质●第2章非良基集合论基础● 2.1 集合论的基础知识● 2.2 良基集合与非良基集合● 2.3 非良基集与循环现象● 2.4 本元● 2.5 集合与图● 2.6 平坦方程组● 2.7 集合连续算子● 2.8 不动点● 2.9 集合上的互模拟关系●第3章反基础公理● 3.1 反基础公理的基本形式● 3.2 反基础公理的模型● 3.3 反基础公理的变形●部分目录