书馨卡帮你省薪 2024个人购书报告 2024中图网年度报告
欢迎光临中图网 请 | 注册
> >>
非良基集.余代数与模态逻辑研究

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

作者:史璟
出版社:经济科学出版社出版时间:2018-03-01
开本: 其他 页数: 245
本类榜单:经济销量榜
中 图 价:¥56.2(7.2折) 定价  ¥78.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>

非良基集.余代数与模态逻辑研究 版权信息

非良基集.余代数与模态逻辑研究 本书特色

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

非良基集.余代数与模态逻辑研究 内容简介

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

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

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

非良基集.余代数与模态逻辑研究 作者简介

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

商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服