图书介绍
互模拟理论的逻辑研究2025|PDF|Epub|txt|kindle电子书版本网盘下载
- 姚从军著 著
- 出版社： 北京：科学出版社
- ISBN：9787030486202
- 出版时间：2016
- 标注页数：188页
- 文件大小：39MB
- 文件页数：199页
- 主题词：模态逻辑－研究
PDF下载
下载说明
互模拟理论的逻辑研究PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
绪论1
第一节 研究背景1
第二节 研究意义2
第三节 研究思路4
第四节 主要工作5
第一章 互模拟理论研究概况6
第一节 模态逻辑中互模拟理论的研究概况6
一、互模拟产生的动因6
二、互模拟的诞生8
三、互模拟的运用研究10
四、互模拟的纯理论研究12
第二节 集合论中互模拟理论的研究概况13
一、互模拟的萌芽（1926—1982）13
二、互模拟的产生及初步研究（1983—1987）15
三、互模拟的深入研究（1988—2001）15
四、互模拟的拓展研究（2002—）17
第一部分 互模拟与模态逻辑21
第二章 模态逻辑中互模拟的基本理论21
第一节 互模拟的定义21
一、加标转换系统及相关概念21
二、互模拟的定义22
第二节 互模拟的基本性质24
第三节 互模拟证明方法27
第四节 互模拟与模态逻辑30
一、基础知识30
二、互模拟及其不变性31
三、互模拟等价性33
四、互模拟与模态等价性之关系34
第三章 互模拟与模型构造38
第一节 经典的模态逻辑模型构造方法39
一、不相交的并39
二、生成子模型40
三、有界态射42
第二节 两种非经典的模态模型构造方法：凸起和压延45
一、凸起45
二、压延47
第三节 模语言等价与模互模拟的商模型51
一、∑-过滤商模型51
二、模语言等价的商模型53
三、模互模拟的商模型54
四、模语言等价的商模型与模互模拟的商模型之间的关系55
第四章 双模拟58
第一节 双模拟的定义和性质58
一、双模拟的定义58
二、模拟和双模拟的一些基本性质60
第二节 双模拟与模拟、互模拟之间的关系63
第三节 双模拟与模态逻辑66
一、模型上的双模拟定义66
二、有关双模拟的一些事实67
第五章 互模拟和有界互模拟69
第一节 基本概念69
第二节 集合70
第三节 知识结构71
第四节 语言72
第五节 艾伦芬赫特游戏73
第六节 一些结论74
第二部分 互模拟与非良基集合81
第六章 互模拟与非良基公理81
第一节 非良基集合的一些基本理论82
一、关系、集合与外延性83
二、可达点图及其装饰83
三、系统与互模拟85
第二节 精确图与非良基公理93
一、精确图像93
二、外延性与BA1（BAFA的弱形式）94
三、外延的且严格的与YAFA95
四、芬斯勒-外延的与FAFA96
五、斯科特-外延的与SAFA96
六、强外延的与AFA98
七、FAFA或AFA98
第三节 正则互模拟～与AFA～100
一、正则互模拟～100
二、公理模式AFA～102
三、ZFCˉ＋AFA～的模型103
第四节 正则互模拟≌＊与AFA＊104
一、正则互模拟≌＊104
二、非良基公理AFA≌＊107
三、AFA≌＊与FAFA的等价性107
四、ZFCˉ＋AFA≌＊的模型108
第五节 正则互模拟≌t与AFA≌t109
一、正则互模拟≌t109
二、非良基公理AFA≌t111
三、AFA≌t与SAFA的等价性112
四、ZFCˉ＋AFA≌t的模型115
第六节 正则互模拟≡V0与AFA≡V0115
一、正则互模拟≡V0115
二、非良基公理AFA≡V0118
三、AFA≡v0与AFA的等价性118
四、ZFCˉ＋AFA≡v0的模型121
第七章 非良基集合论的域和分类122
第一节 非良基集合的域122
一、AFA～之间的关系122
二、非良基集合的域124
第二节 非良基集合的分类127
一、芬斯勒集合的分类127
二、斯科特集合的分类129
三、埃泽尔集合的分类130
第三节 关于非良基集合论的一点余论131
第八章 非基础公理AFA与方程组的解133
第一节 解引理133
一、从良基论域到非良基论域133
二、模型化方程组和方程组的解134
三、反基础公理AFA的解引理表达135
四、广义平坦方程组和典范平坦方程组137
第二节 方程组之间的互模拟关系138
第三节 广义方程组和广义解引理141
第四节 ZFA的一致性145
一、模型M和Mafa146
二、平坦互模拟方程组148
三、ZFA150
第九章 集合的典范装饰与方程组的典范解155
第一节 AFA解引理155
一、AFA～集合论155
二、方程和方程组156
三、AFA解引理（在AFA下的解引理）157
第二节 互模拟坍塌157
一、迭代互模拟坍塌157
二、完全坍塌162
第三节 AFA～解引理162
一、典范装饰162
二、典范解163
三、AFA～解引理164
第三部分 模态逻辑、非良基集合与互模拟169
第十章 基于互模拟的模态逻辑与非良基集合论之关系169
第一节 互模拟与模态逻辑语义169
一、模态逻辑的克里普克语义169
二、模态逻辑的集合论语义170
三、两种语义之间的关系171
第二节 集合上的互模拟与模态等价173
一、集合上的互模拟和模态等价的含义173
二、集合上的互模拟与模态等价的关系173
参考文献177
一、著作177
二、论文类178
后记187