书目
消息
首页
搜索
购物车
结构推理
作者
冯棉
著
出版社
广西师范大学出版社
出版时间
2015年3月 第1版
ISBN
9787549561971
定价
68.00
内容简介
《结构推理》研究命题逻辑的结构推理,分为四章:一、经典命题逻辑的结构推理;二、直觉主义命题逻辑的结构推理;三、相干命题逻辑及其线性片段的结构推理;四、和正结合演算的结构推理。内容涉及多种结构推理系统的建构,结构推理系统与相应公理系统的等价性,在语义理论的基础上,证明了各个结构推理系统的可靠性与完全性,并考察了正结合演算结构推理系统BL-D的可判定性。《结构推理》是教育部人文社会科学重点研究基地重大项目“结构推理及其应用研究”的最终成果。
作者简介
冯棉,华东师范大学终身教授,博士生导师,哲学系逻辑室主任,逻辑学博士点负责人,国务院特殊津贴获得者,中国逻辑学会副会长,上海市逻辑学会会长。撰有专著《经典逻辑与直觉主义逻辑》、《广义模态逻辑》、《哲学逻辑与逻辑哲学》、《相干与衍推逻辑》、《可能世界与逻辑研究》、《相干逻辑研究》等多部。参与编写《哲学大辞典》、《计算机科学技术百科全书》、《辞海》、《外国哲学大辞典》、《逻辑学大辞典》(副主编)、《大辞海》等辞书和《逻辑学导论》等多部教材。主要研究领域为“现代逻辑”和“逻辑哲学”。
目录
丛书
智慧的探索丛书
在售商品
42家店有售 新书19家
¥
17.00
起
综合
价格
品相
店铺
只看全新
结构推理
¥
19.00
全新
尚贤文化郑州分店 >
结构推理
¥
19.00
全新
尚贤文化河北分店的书店 >
结构推理
¥
20.30
九品
京城图书城 >
结构推理
¥
17.00
全新
灿然小店的书店 >
结构推理(智慧的探索丛书)(数理逻辑学术专著)
¥
18.61
全新
小雄图书店 >
结构推理(智慧的探索丛书)(数理逻辑学术专著)
¥
19.00
全新
尚同书屋 >
结构推理(精装)
¥
17.85
全新
拓荒者的小书店 >
结构推理
¥
28.41
九品
图书-天下的书店 >
结构推理
¥
27.88
九品
新起点书店 >
结构推理
¥
20.30
九品
暖冬图书专营店 >
— END —