结构推理(第2版)
全新正版 极速发货
￥ 35.8 5.3折 ￥ 68 全新
库存2件
浙江嘉兴
认证卖家担保交易快速发货售后保障
作者冯棉|责编:刘孝霞//王荣光
出版社广西师大
ISBN9787559828781
出版时间2020-07
装帧平装
开本其他
定价68元
货号30930652
上书时间2025-01-03
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
冯棉，华东师范大学终身教授，博士生导师，中国逻辑学会副会长，上海市逻辑学会会长。撰有专著《经典逻辑与直觉主义逻辑》《广义模态逻辑》《哲学逻辑与逻辑哲学》等。主要研究领域为“现代逻辑”和“逻辑哲学”。
目录
第一章 经典命题逻辑的结构推理
1.1 经典命题逻辑的结构推理系统PL
1.2 切割规则与其他导出规则
1.3 系统PL与相应公理系统P的等价性
第二章 直觉主义命题逻辑的结构推理
2.1 直觉主义命题逻辑的结构推理系统IL
2.2 系统IL与相应公理系统IP的等价性
2.3 二元关系语义
第三章 相干命题逻辑及其线性片段的结构推理
3.1 相干命题逻辑的结构推理系统RL及其线性片段BCI
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的可判定性
参考文献
符号表
索引
初版后记
内容摘要
本书研究命题逻辑的结构推理，涉及多种结构推理系统的建构，结构推理系统与相应公理系统的等价性，在语义理论的基础上，证明了各个结构推理系统的可靠性与完全性，并考察了正结合演算结构推理系统BL-D的可判定性，是探究这一逻辑前沿领域的力作。
主编推荐
结构推理展现了日常推理中的多种推理方式，对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。
— 没有更多了 —
以下为对购买帮助不大的评价