由于此商品库存有限,请在下单后15分钟之内支付完成,手慢无哦!
100%刮中券,最高99元无敌券,券有效期7天
活动自2017年6月2日上线,敬请关注云钻刮券活动规则更新。
如活动受政府机关指令需要停止举办的,或活动遭受严重网络攻击需暂停举办的,或者系统故障导致的其它意外问题,苏宁无需为此承担赔偿或者进行补偿。
醉染图书可能世界的名字9787516199626
¥ ×1
前言
章 可能世界的名字
一 模态逻辑背景
二 混合逻辑的理论意义
三 混合逻辑简史
第二章 基本模态逻辑与时态逻辑
一 语言与逻辑
二 关系语义学
三 正规模态逻辑的公理系统
四 普通模态语言的表达能力
第三章 基本混合逻辑
一 基本混合语言
二 混合语言
三 混合逻辑
四 Ku@和Ku
第四章 一般完全结果
第五章 混合时态逻辑
一 Past算子
二 时态
第六章 混合语言的扩充
一 强力的模态词
二 模态约束词
第七章 可判定、复杂和内
一 预备知识
二 加标演绎
第九章 后承演算
一 后承演算SC
二 后承@-演算
三 非标准的后承演算
第十章 自然推演系统
一 普通自然推演系统
二 布劳纳系统
十章 表列系统
一 混杂演算
二 @-演算
第十二章 消解明
一 HyloRes
二 基于消解的自然推演系统
第十三章 混合的核逻辑背景
二 基本混合核逻辑
三 进一步的问题
参考文献
索引
刘新文哲学博士,哲学所研究员、逻辑室主任,中国逻辑学会现代逻辑专业委员会主任,西南大学逻辑与智能研究中心兼职教授。主要研究兴趣为图式逻辑、模态逻辑、皮尔士逻辑与哲学等。已出版专著《图式逻辑》《谢弗函数研究》,合译译著《模态对应理论》《逻辑、语言和认知》等。
祝瑞,男,1988年生,陕西石泉人。研究方向:现代逻辑。2006年至2010年在西北大学哲学系学习,获哲学士学。
亲,大宗购物请点击企业用户渠道>小苏的服务会更贴心!
亲,很抱歉,您购买的宝贝销售异常火爆让小苏措手不及,请稍后再试~
非常抱歉,您前期未参加预订活动,
无法支付尾款哦!
抱歉,您暂无任性付资格
