0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 本科教材 > 哲学 > 临界的传递逻辑——模态逻辑的濒表格性问题探究

相同语种的商品

销售排行榜

浏览历史

临界的传递逻辑——模态逻辑的濒表格性问题探究


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
临界的传递逻辑——模态逻辑的濒表格性问题探究
  • 书号：9787030530813
    作者：杜珊珊,康宏逵
  • 外文书名：
  • 装帧：平装
    开本：B5
  • 页数：252
    字数：260
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2017-08-15
  • 所属分类：
  • 定价： ￥78.00元
    售价： ￥61.62元
  • 图书介质:
    纸质书

  • 购买数量： 件  商品库存： 4
  • 商品总价：

内容介绍

样章试读

用户评论

全部咨询

　　本书详述传递的濒表格逻辑的判据及其应用，以及在此基础上所做的关于濒表格逻辑的若干研究结果，解决了传递逻辑格的濒表格性的语义判据，以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题，展示了如何将已有的传递的濒表格逻辑的结果纳入本书提出的方法和视野。全书共分为三个部分——序篇、主篇和附录。序篇介绍了背景知识，回顾了传递的濒表格逻辑的研究发展史；主篇完整叙述了传递的濒表格逻辑的语义判据的证明、应用过程及其他相关的研究结果；附录给读者提供了备查的相关知识。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 目录
    第一编 序篇
    第一章 背景知识一览 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
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com