点击选择搜索分类
首页 - 文学理论- 正文
☆☆☆☆☆
||
杜珊珊,康宏逵 著
出版社: 科学出版社 ISBN:9787030530813 版次:01 商品编码:12233368 包装:平装 丛书名: 国家社科基金后期资助项目 开本:16开 出版时间:2017-08-01 页数:252 字数:266000 正文语种:中文
第一编 序篇
第一章 背景知识一览 3
第一节 逻辑K4及其正规扩充 3
第二节 K4-逻辑的克里普克语义学 8
第三节 临界的传递逻辑——K4-逻辑格中的濒表格逻辑 36
第二章 历史的回顾:1940~1980年 40
第一节 孤例S5 40
第二节 走出孤例 46
第三节 NExtS4的简单性 52
第四节 传递逻辑格NExtK4还在向我们挑战 59
第二编 主篇
引言——我们的目的和方法 73
第三章 点式归约初探 76
第一节 集式归约和点式归约 76
第二节 传递框架间的点式归约 79
第四章 传递逻辑格中有穷深度濒表格逻辑的语义判据 87
第一节 传递的濒表格逻辑的刻画框架 87
第二节 Alt N-颠覆子、Alt N-反驳子和框架的濒表格性 92
第三节 有穷深度濒表格逻辑的语义判据 106
第五章 传递逻辑格中无穷深度濒表格逻辑的语义判据 122
第一节 刻画无穷深度濒表格逻辑的有穷框架类的规范化 122
第二节 刻画无穷深度濒表格逻辑的三类框架——收拢式既约框架、*-风筝和*-风筝 133
第三节 无穷深度濒表格逻辑的语义判据 138
第六章 濒表格逻辑语义判据的应用 149
第一节 麦金森分类法眼光下的模态逻辑Q4 149
第二节 濒表格逻辑的语义判据的应用——NExtQ4 153
第三节 NExtS4、NExtD4和NExtGL中濒表格逻辑的范形 161
第七章 从一种新观点看问题 165
第一节 传递的濒表格逻辑和它们的表格扩充 165
第二节 传递的濒表格逻辑的语义特征 170
参考文献 187
附录A 论麦金森定理及其等价命题 192
附录B 模态镜子里的反欧性 202
附录C 一般框架和典范公式 217
索引 231
后记 238
临界的传递逻辑——模态逻辑的濒表格性问题探究 电子书 下载 mobi epub pdf txt
临界的传递逻辑——模态逻辑的濒表格性问题探究-so88
临界的传递逻辑——模态逻辑的濒表格性问题探究 pdf epub mobi txt 电子书 下载 2022
图书介绍
☆☆☆☆☆
||
杜珊珊,康宏逵 著
出版社: 科学出版社 ISBN:9787030530813 版次:01 商品编码:12233368 包装:平装 丛书名: 国家社科基金后期资助项目 开本:16开 出版时间:2017-08-01 页数:252 字数:266000 正文语种:中文
内容简介
《临界的传递逻辑——模态逻辑的濒表格性问题探究》详述传递的濒表格逻辑的判据及其应用,以及在此基础上所做的关于濒表格逻辑的若干研究结果,解决了传递逻辑格的濒表格性的语义判据,以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题,展示了如何将已有的传递的濒表格逻辑的结果纳入《临界的传递逻辑——模态逻辑的濒表格性问题探究》提出的方法和视野。《临界的传递逻辑——模态逻辑的濒表格性问题探究》共分为三个部分——序篇、主篇和附录。序篇介绍了背景知识,回顾了传递的濒表格逻辑的研究发展史;主篇完整叙述了传递的濒表格逻辑的语义判据的证明、应用过程及其他相关的研究结果;附录给读者提供了备查的相关知识。目录
第一编 序篇
第一章 背景知识一览 3
第一节 逻辑K4及其正规扩充 3
第二节 K4-逻辑的克里普克语义学 8
第三节 临界的传递逻辑——K4-逻辑格中的濒表格逻辑 36
第二章 历史的回顾:1940~1980年 40
第一节 孤例S5 40
第二节 走出孤例 46
第三节 NExtS4的简单性 52
第四节 传递逻辑格NExtK4还在向我们挑战 59
第二编 主篇
引言——我们的目的和方法 73
第三章 点式归约初探 76
第一节 集式归约和点式归约 76
第二节 传递框架间的点式归约 79
第四章 传递逻辑格中有穷深度濒表格逻辑的语义判据 87
第一节 传递的濒表格逻辑的刻画框架 87
第二节 Alt N-颠覆子、Alt N-反驳子和框架的濒表格性 92
第三节 有穷深度濒表格逻辑的语义判据 106
第五章 传递逻辑格中无穷深度濒表格逻辑的语义判据 122
第一节 刻画无穷深度濒表格逻辑的有穷框架类的规范化 122
第二节 刻画无穷深度濒表格逻辑的三类框架——收拢式既约框架、*-风筝和*-风筝 133
第三节 无穷深度濒表格逻辑的语义判据 138
第六章 濒表格逻辑语义判据的应用 149
第一节 麦金森分类法眼光下的模态逻辑Q4 149
第二节 濒表格逻辑的语义判据的应用——NExtQ4 153
第三节 NExtS4、NExtD4和NExtGL中濒表格逻辑的范形 161
第七章 从一种新观点看问题 165
第一节 传递的濒表格逻辑和它们的表格扩充 165
第二节 传递的濒表格逻辑的语义特征 170
参考文献 187
附录A 论麦金森定理及其等价命题 192
附录B 模态镜子里的反欧性 202
附录C 一般框架和典范公式 217
索引 231
后记 238
临界的传递逻辑——模态逻辑的濒表格性问题探究 电子书 下载 mobi epub pdf txt
电子书下载地址:
相关电子书推荐:
- 文件名
- 工业崛起
- 丽声我爱小怪物双语阶梯阅读第一级至第三级套装(点读版 套装共3册 专供网店 附光盘) [4-9岁]
- {RT}人类征服太空之旅-《人类征服太空之旅》编写组 世界图书出版公司 978751001
- 万能公式教你征服新托福写作口语(附光盘) [Speaking and Writing Strategies for the TOEFL iBT]
- 丹青集粹
- 初级美语听力特训(新版)
- 来自基因组的一些数学
- 【现货】洪恩幼儿英语helloteddy 洪恩1升级版可点读附光盘儿童英语视频教学早教英语教材精装版
- BF-科普星雨-陈积芳 上海科学技术文献出版社 9787543974913
- 包邮 经济学思想史讲义(第2版) 经济学家 汪丁丁 课程讲义全新修订 整合经典著作文献
- 第七届艾特奖获奖作品年鉴 国际空间设计大奖艾特奖组
- 法语语法点点通(高级)
- 满58包邮 猫 9787537594196 日本日贩IPS著 河北科技出版社
- 新版 海关总署商品归类决定 归类决定公告 归类决定编号索引
- 重庆寻宝记/大中华寻宝系列