|
题名:
|
结构推理 jie gou tui li / 冯棉著 , |
|
ISBN:
|
978-7-5598-2878-1 价格： CNY68.00 |
|
语种:
|
chi |
|
载体形态:
|
244页 23cm |
|
出版发行:
|
出版地： 桂林 出版社： 广西师范大学出版社 出版日期： 2020 |
|
内容提要:
|
本书研究命题逻辑的结构推理，涉及多种结构推理系统的建构，结构推理系统与相应公理系统的等价性，在语义理论的基础上，证明了各个结构推理系统的可靠性与完全性，并考察了正结合演算结构推理系统BL-D的可判定性，是探究这一逻辑前沿领域的力作。 |
|
主题词:
|
逻辑推理 研究 |
|
中图分类法:
|
O141 版次： 5 |
|
主要责任者:
|
冯棉 feng mian 著 |
|
版次:
|
第2版 |
|
附注:
|
教育部基地重大项目(批准号: 10JJD720010) 研究成果 |
|
责任者附注:
|
冯棉, 华东师范大学终身教授, 博士生导师, 国务院特殊津贴获得者, 中国逻辑学会副会长, 上海市逻辑学会会长。 |
|
索书号:
|
O141/3296=2 |