非良基集、余代数与模态逻辑研究

图书标准信息

• 作者 史·Z
• 出版社 经济科学出版社
• 出版时间 2019-09
• 版次 1
• ISBN 9787521806649
• 定价 78.00元
• 装帧 其他
• 开本 16开
• 纸张 胶版纸
• 页数 504页

【内容简介】

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

【作者简介】

史?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  反基础公理的变形

●部分目录