作者：刘新文, 祝瑞著
出版社： 中国社会科学出版社
CIP号：2017039097
书号：978-7-5161-9962-6
出版地：北京
出版时间：2017.3
定价：￥68
本书主要有以下内容：第一，比较全面研究了作为模态逻辑新分支的混合逻辑，这些研究对象是以这一族逻辑中的极小系统为主；第二，在介绍可证性逻辑新阶段发展成果——核证逻辑的基础上，建立了混合的核证逻辑的极小系统，解决了国际著名逻辑学家Melvin Fitting在2010年提出的未解决问题。本书中的内容，不仅推动了国际、国内逻辑学界相关问题的研究进展，对于国内哲学界了解可能世界语义学、可证性等哲学概念的发展也具有重要意义。