相干与衍推谓词逻辑2018.冯棉, 著 谓词抽象研究2017.12魏燕侠, 著 相干逻辑研究2010.5冯棉, 著 面向对象空间逻辑2009.8毛明毅, 陈志成, 何华灿, 著 逻辑推理2011.7余式厚, 编著 FBI逻辑推理学2014.10陈雪, 著 逻辑推理与数学2013.6姜廷午, 编 溯因推理2016.3(墨) 阿丽色达 (Aliseda,A.) , 著 逻辑学大辞典2010.12彭漪涟, 马钦荣, 主编 推理现场2014.10傅学义, 主编 逻辑学大辞典2004.12彭漪涟, 马钦荣, 主编 基于格值逻辑的不确定性推理2009.9陈树伟, 周德文, 著 写给孩子的逻辑推理小百科2014.6李志敏, 编著 逻辑与思维2015.8《逻辑与思维》编委会, 主编 逻辑探案2004.01米勒, 编写