临界的传递逻辑-模态逻辑的濒表格性问题研究
1星价
¥36.7
(4.7折)
2星价¥36.7
定价¥78.0
温馨提示:5折以下图书主要为出版社尾货,大部分为全新(有塑封/无塑封),个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>
图文详情
- ISBN:9787030530813
- 装帧:暂无
- 册数:暂无
- 重量:暂无
- 开本:32开
- 页数:244
- 出版时间:2017-07-01
- 条形码:9787030530813 ; 978-7-03-053081-3
本书特色
图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题。本书可供从事模态逻辑研究的工作者和对模态逻辑感兴趣的读者阅读。
内容简介
图书回顾了传递的濒表格逻辑的研究发展历史,叙述了传递的濒表格逻辑判据的证明、应用过程,试图解决传递逻辑的濒表格性的判据问题和大格的子格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
展开全部
本类五星书
本类畅销
-
蛤蟆先生去看心理医生
¥26.6¥38.0 -
世界尽头的咖啡馆
¥18.0¥45.0 -
咬文嚼字二百问
¥9.6¥32.0 -
《标点符号用法》解读
¥6.2¥15.0 -
从零开始的女性主义
¥30.3¥52.0 -
字海探源
¥23.4¥78.0 -
乡土中国
¥14.6¥26.0 -
与内心的恐惧对话:摆脱来自亲人的负能量
¥34.1¥48.0 -
你能写出好故事-写作的诀窍.大脑的奥秘.认知的陷阱
¥9.8¥32.8 -
中国人的精神
¥9.9¥29.0 -
社会学:原来这么有趣有用
¥9.1¥36.0 -
从白大褂到病号服:探索医疗中的人性落差
¥12.7¥39.8 -
焦虑心理学:不畏惧、不逃避,和压力做朋友
¥11.4¥38.0 -
理解生命
¥10.5¥32.8 -
始于极限:女性主义往复书简(八品)
¥22.4¥59.0 -
乌合之众:大众心理研究
¥12.1¥36.8 -
非暴力沟通心理学 : 用非暴力沟通化解冲突
¥9.0¥36.0 -
上大演讲录(1922-1927卷)(九品)
¥14.0¥52.0 -
那时的大学
¥8.4¥28.0 -
汉字王国
¥11.5¥46.0