读书月攻略拿走直接抄！
读书月预热场|满6本折上6折
欢迎光临中图网 请 | 注册
搜索
搜索全部
  • 搜索全部
  • 书名
  • 作者
  • 出版社
  • ISBN
高级搜索
我身体里的人造星星乡间的日常情感勒索神秘的黑猫
  • 合成诗经
  • 新用户注册领10元
中图网
>
哲学/宗教
>
哲学
>
逻辑学
结构推理
分享

包邮 结构推理

作者：冯棉著
出版社：广西师范大学出版社出版时间：2015-03-01
开本： 16开 页数： 238
本类榜单：哲学/宗教销量榜
中 图 价:¥30.2(4.4折) 定价  ¥68.0 登录后可看到会员价
加入购物车 收藏
开年大促， 全场包邮
?新疆、西藏除外
温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口
有划线标记、光盘等附件不全详细品相说明>>
本类五星书更多>
买过本商品的人还买了
中图价:¥30.2 加入购物车

结构推理 版权信息

  • ISBN：9787549561971
  • 条形码：9787549561971 ; 978-7-5495-6197-1
  • 装帧：一般轻型纸
  • 册数：暂无
  • 重量：暂无
  • 所属分类：
    哲学/宗教
    >
    哲学
    >
    逻辑学

结构推理 本书特色

　　“智慧的探索丛书”收入了华东师范大学哲学学科几代学人的哲学论著，展示了几代学人的智慧之思。　　《结构推理》系统地考察了命题逻辑的结构推理，是国内第1次系统关注并深入推进这一逻辑前沿的力作，填补了国内逻辑学在这一重要领域内的空白。全书内容丰富，信息量大；结构合理，层次感强；文字简洁，符号精确；行之明快，条理清晰，充分体现了现代逻辑研究的“数理性”和“严格性”特点。

结构推理 内容简介

　　《结构推理》研究命题逻辑的结构推理，分为四章：一、经典命题逻辑的结构推理；二、直觉主义命题逻辑的结构推理；三、相干命题逻辑及其线性片段的结构推理；四、和正结合演算的结构推理。内容涉及多种结构推理系统的建构，结构推理系统与相应公理系统的等价性，在语义理论的基础上，证明了各个结构推理系统的可靠性与完全性，并考察了正结合演算结构推理系统BL-D的可判定性。　　《结构推理》是教育部人文社会科学重点研究基地重大项目“结构推理及其应用研究”的*终成果。

结构推理 目录

**章 经典命题逻辑的结构推理
§1. 1 经典命题逻辑的结构推理系统PL
§1. 2 切割规则与其它导出规则
§1. 3 系统PL与相应公理系统P的等价性
第二章 直觉主义命题逻辑的结构推理
§2. 1 直觉主义命题逻辑的结构推理系统IL
§2. 2 系统IL与相应公理系统IP的等价性
§2. 3 二元关系语义
第三章 相干命题逻辑及其线性片段的结构推理
§3. 1 相干命题逻辑的结构推理系统RL及其线性片段BCL
§3. 2 系统RL、BCL与相应公理系统R、BC的等价性
§3. 3 三元关系语义
§3. 4 系统RL、BCL的完全性
第四章 正结合演算的结构推理
§4. 1 正结合演算的结构推理系统BL
§4. 2 系统BL与相应公理系统B的等价性
§4. 3 择类语义
§4. 4 正结合演算结构推理系统BL-D的可判定性
参考文献
符号表
索引
后记

展开全部

结构推理 作者简介

　　冯棉，华东师范大学终身教授，博士生导师，哲学系逻辑室主任，逻辑学博士点负责人，国务院特殊津贴获得者，中国逻辑学会副会长，上海市逻辑学会会长。撰有专著《经典逻辑与直觉主义逻辑》、《广义模态逻辑》、《哲学逻辑与逻辑哲学》、《相干与衍推逻辑》、《可能世界与逻辑研究》、《相干逻辑研究》等多部。参与编写《哲学大辞典》、《计算机科学技术百科全书》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》（副主编）、《大辞海》等辞书和《逻辑学导论》等多部教材。主要研究领域为“现代逻辑”和“逻辑哲学”。

商品评论(0条)
写书评 赚书币
暂无评论……
书友推荐
本类畅销
浏览历史
编辑推荐
返回顶部
新手上路
新用户指引
注册用户 更改注册信息
购物常见问题
关于特价书的常见问题
购买问题
订单跟踪
付款方式
账户余额  申请提现
配送方式及费用、范围
集团购买
售后服务
退换货流程
投诉与建议
特色服务
会员等级与书币
中图网书馨卡
邀请好友购买返10元礼包
其他信息
本站简介
联系我们
招聘英才
网站联盟
友情链接
微信公众号
中图网微信
中图网微博
中图网微博
手机中图网
手机中图网
中图网
诚信认证 电子商务诚信单位认证

京ICP备09013606号-3京信市监发[2002]122号海淀公安分局备案编号：1101083394

营业执照出版物经营许可证 京出发京批字第直110071

在线客服