基于格值逻辑的语义归结自动推理2017.9张家锋, 著 基于格值逻辑的不确定性推理2009.9陈树伟, 周德文, 著 数理逻辑引论与归结原理2003.08王国俊, 著 归纳逻辑百年历程2005.01邓生庆, 著 逻辑推理2011.7余式厚, 编著 FBI逻辑推理学2014.10陈雪, 著 数理逻辑引论与归结原理2008.王国俊, 周红军, 著 推理现场2014.10傅学义, 主编 多值逻辑博弈语义研究2018.6陈招万, 著 基于语言信息的归结自动推理与决策方法2018.4李晓冰, 著 现代归纳逻辑的哲学视野2009.李旭燕, 著 溯因推理2016.3(墨) 阿丽色达 (Aliseda,A.) , 著 面向对象空间逻辑2009.8毛明毅, 陈志成, 何华灿, 著 逻辑推理与数学2013.6姜廷午, 编 逻辑推理2010.12广东原创动力文化传播有限公司, 著