成功加入购物车
图书条目标准图
全新正版未拆封
姚从军 著 / 科学出版社 / 2016-07 / 平装
售价 ¥ 29.82 4.6折
定价 ¥65.00
品相 全新
优惠 满包邮
延迟发货说明
上书时间2022-11-21
卖家超过10天未登录
互模拟理论的逻辑研究
《互模拟理论的逻辑研究》从逻辑的角度研究互模拟,主要以模型论、集合论和模态逻辑的知识为背景,意在从历史层面揭示互模拟在模态逻辑和非良基集合论中的发展过程,从理论层面探讨互模拟的基本理论和作用。
《互模拟理论的逻辑研究》的内容主要包括互模拟的发展历程、互模拟的基本理论和性质、互模拟与模态等价之间的关系、基于互模拟的模态模型构造技术、基于互模拟的非良基集合的分类和方程组的解引理、基于互模拟的模态逻辑与非良基集合论之间的内在联系、“双模拟”的概念和性质。
《互模拟理论的逻辑研究》可供数学、逻辑学和计算机专业的研究生阅读.也可供那些对集合论和模型论感兴趣的读者阅读、参考。
姚从军(1971- ),男,湖北随州人。南开大学哲学博士,中国社会科学院博士后。中国逻辑学会会员,中国语言逻辑专业委员会常务委员,湖南省逻辑学会副会长,湖南省重大决策咨询专家库专家,湖南省青年骨干教师,永州市青联委员和社科专家。现为湖南科技学院副教授,兼任湘潭大学硕士研究生导师。
姚从军博士的主要研究领域为现代逻辑和语言逻辑,曾主持国家社科基金一般项目2项、中国博士后科学基金项目1项、湖南省社科基金项目3项和湖南省教学改革项目1项,参与国家社会科学基金重大招标项目2项;发表论文50余篇,包括18篇CSSCI来源刊,4篇CSSCI扩展版来源刊,被人大复印报刊《逻辑》转载3篇。2012年获中国博士后科学基金第52批面上资助;2011年获永州市第四届哲学社会科学优秀成果三等奖;2013年获永州市第五届哲学社会科学优秀成果二等奖;2014年获永州市第十届自然科学优秀成果二等奖。
目 录序 言I绪 论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二、互模拟的定义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第一节 非良基集合的一些基本理论82一、关系、集合与外延性83二、可达点图及其装饰83三、系统与互模拟85第二节 精确图与非良基公理93一、精确图像93二、外延性与BA1(BAFA的弱形式)94三、外延的且严格的与YAFA95四、芬斯勒-外延的与FAFA96五、斯科特外延的与SAFA96六、强外延的与AFA98七、FAFA或AFA98第三节 正则互模拟与AFA100一、正则互模拟100二、公理模式AFA~102三、ZFC+AFA~的模型103第四节 正则互模拟≌与AFA^(≌^)104一、正则互模拟≌104二、非良基公理AFA^(≌^)107三、AFA^(≌^)与FAFA的等价性107四、ZFC+AFA^(≌^)的模型108第五节 正则互模拟≌t与AFA^(≌^t)109一、正则互模拟≌t109二、非良基公理AFA^(≌^t)111三、AFA^(≌^t)与SAFA的等价性112四、ZFC+AFA^(≌^t)的模型115第六节 正则互模拟_(V_0)与AFA^(_(V_0))115一、正则互模拟_(V_0)115二、非良基公理AFA^(_(V_0))118三、AFA^(_(V_0))与AFA的等价性118四、ZFC+AFA^(_(V_0))的模型121第七章 非良基集合论的域和分类122第一节 非良基集合的域122一、AFA~之间的关系122二、非良基集合的域124第二节 非良基集合的分类127一、芬斯勒集合的分类127二、斯科特集合的分类129三、埃泽尔集合的的分类130第三节关于非良基集合论的一点余论131第八章 非基础公理AFA与方程组的解133第一节 解引理133一、从良基论域到非良基论域133二、模型化方程组和方程组的解134三、反基础公理AFA的解引理表达135第二节 方程组之间的互模拟关系139第三节 广义方程组和广义解引理141第四节 ZFA的一致性146一、模型M和Mafa146二、平坦互模拟方程组148三、ZFA150第九章 集合的典范装饰与方程组的典范解155第一节 AFA解引理155一、AFA~集合论155二、方程和方程组156三、AFA解引理(在AFA下的解引理)157第二节 互模拟坍塌157一、迭代互模拟坍塌157二、完全坍塌162第三节 AFA~解引理163一、典范装饰163二、典范解163三、AFA~解引理164第三部分 模态逻辑、非良基集合与互模拟第十章 基于互模拟的模态逻辑与非良基集合论之关系169第一节 互模拟与模态逻辑语义169一、模态逻辑的克里普克语义169二、模态逻辑的集合论语义170三、两种语义之间的关系171第二节 集合上的互模拟与模态等价173一、集合上的互模拟和模态等价的含义173二、集合上的互模拟与模态等价的关系173参考文献177一、著作177二、论文类179后 记187
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30