结构推理（第2版）

作者简介

冯棉，华东师范大学终身教授，博士生导师，中国逻辑学会副会长，上海市逻辑学会会长。撰有专著《经典逻辑与直觉主义逻辑》《广义模态逻辑》《哲学逻辑与逻辑哲学》等。主要研究领域为“现代逻辑”和“逻辑哲学”。

内容简介

结构推理展现了日常推理中的多种推理方式，对于逻辑推理机制的深入研究和人工智能的开发具有重要的理论意义和实际价值。