啵啵浏览器,欧美大片PPT免费PPT,大杂烩(TXT)小说阅读-大杂烩(TXT)小说阅读,高压监狱在线观看免费高清完整,言教授要稳住肉馅小水饺笔趣阁

图书板块图书分类品牌系列获奖图书图书专题新书上架编辑推荐作者团队
智慧的探索丛书 结构推理
数理逻辑学术专著
ISBN: 9787549561971

出版时间:2015-03-01

定  价:68.00

作  者:冯棉 著

责  编:肖莉
所属板块: 社科学术出版

图书分类: 哲学

读者对象: 专业读者

上架建议: 学术 逻辑学
装帧: 精装

开本: 16

字数: 240 (千字)

页数: 260
图书简介

本书研究命题逻辑的结构推理,分为四章:一、经典命题逻辑的结构推理;二、直觉主义命题逻辑的结构推理;三、相干命题逻辑及其线性片段的结构推理;四、和正结合演算的结构推理。内容涉及多种结构推理系统的建构,结构推理系统与相应公理系统的等价性,在语义理论的基础上,证明了各个结构推理系统的可靠性与完全性,并考察了正结合演算结构推理系统BL-D的可判定性。

本书是教育部人文社会科学重点研究基地重大项目“结构推理及其应用研究”的最终成果。

作者简介

冯棉,华东师范大学终身教授,博士生导师,哲学系逻辑室主任,逻辑学博士点负责人,国务院特殊津贴获得者,中国逻辑学会副会长,上海市逻辑学会会长。撰有专著《经典逻辑与直觉主义逻辑》、《广义模态逻辑》、《哲学逻辑与逻辑哲学》、《相干与衍推逻辑》、《可能世界与逻辑研究》、《相干逻辑研究》等多部。参与编写《哲学大辞典》、《计算机科学技术百科全书》、《辞?!贰ⅰ锻夤苎Т蟠堑洹?、《逻辑学大辞典》(副主编)、《大辞?!返却鞘楹汀堵呒У悸邸返榷嗖拷滩摹V饕芯苛煊蛭跋执呒焙汀奥呒苎А薄?p/>

图书目录

前言

第一章 经典命题逻辑的结构推理

§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的可判定性

编辑推荐

结构推理是现代逻辑的重要推理方式之一,它从结构规则的层面上揭示日常推理中的多种推理方式, 对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。本书系统地考察了命题逻辑的结构推理, 是探究这一逻辑前沿领域的力作。

“智慧的探索丛书”收入了华东师范大学哲学学科几代学人的哲学论著,展示了几代学人的智慧之思。

《结构推理》系统地考察了命题逻辑的结构推理,是国内第一次系统关注并深入推进这一逻辑前沿的力作,填补了国内逻辑学在这一重要领域内的空白。全书内容丰富,信息量大;结构合理,层次感强;文字简洁,符号精确;行之明快,条理清晰,充分体现了现代逻辑研究的“数理性”和“严格性”特点。

线上商城
会员家.png 书天堂.png 天猫旗舰店.png
会员家 书天堂 天猫旗舰店
关注我们
微信公众号.png   微博二维码.png
微信公众号官方微博

微信号:bbtplus2018(工作时间)
电话:0773-2282512(工作时间)

我要投稿

批发采购

加入我们

版权所有:广西师范大学出版社集团 GUANGXI NORMAL UNIVERSITY PRESS(GROUP) |  纪委举/报投诉邮箱 :cbsjw@www.3jvwt.cn    纪委举报电话:0773-2288699  
   网络出版服务许可证: (署) | 网出证 (桂) 字第008号 | 备案号:桂ICP备12003475号 | 新出网证(桂)字002号 | 公安机关备案号:45030202000033号

我和我的祖国钢琴谱完整版| 路飞第十一人最新确认| hard disk sentinel pro| 致命夸道1| 桃色视频在线观看一区二区| 高富帅三证| 伊甸园精品99久久久久久| 句的部首| 中国医用微量元素分析仪| 曹赟定| wartrame交易平台| 马来糕| 马桥堵了日整水满了怎么办| 东方寒兔| 历史七年级思维导图下册| 蓝芽| 规则怪谈觉醒sss级天赋| 干嫂嫂| 和黑道老大的三百六十五天 | 光之美少女食尚甜心全集| 灭火宝贝高清完整版在线观看 | gta5线下股票赚钱攻略| 古鹱谍影| ff14splatoon| 九年绿美语| megan salinas| mp3视频| 暗黑破坏神2重制版 mod| jst解码| 海狼行动电影在线观看完整版高清 | 最新更新| 色掉掉亚洲精品天天综合影院| 戳小琪跳舞| 巫妖王狂暴战天赋和输出手法| 黒木れいな| 开心超人联盟之平行时空大冒险| 三只羊视频