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

1星价 ¥29.6 (3.8折)

2星价￥28.9 定价￥78.0

作者：史璟

出版社：经济科学出版社

本类榜单：经济

分类：经济 > 中国经济 > 中国经济概况

温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>

暂无评论

图文详情

ISBN：9787521806649
装帧：平装
册数：暂无
重量：暂无
开本：其他
页数：245
出版时间：2018-03-01
条形码：9787521806649 ; 978-7-5218-0664-9

本书特色

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

内容简介

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

●章模态逻辑基础
● 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 反基础公理的变形
●部分目录

展开全部