*用户名
*
*
手机号
已有账户,
*用户名
*
手机号
*
当前位置: 书天堂 >图书详情 >结构推理

结构推理

  • 978-7-5495-6197-1
  • 690×960 1/16
  • 冯棉 著
  • 240
  • 肖莉
  • 2015/03
  • 260

详情

内容介绍

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

作者简介

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

图书目录

前言/序言

相关丛书

图书评价

?
XML 地图 | Sitemap 地图