逻辑动态系统代数状态空间法理论与应用
《逻辑动态系统代数状态空间法理论与应用》,作者:闫永义,岳菊梅 著 出版社:科学出版社 ISBN:9787030596987。本书介绍了一种新的系统建模、分析与综合的数学方法——逻辑动态系统代数状态空间法。该方法是在矩阵的半张量积的基础上发展而来的，在使用矩阵处理复杂的泛逻辑系统方面具有很大优势。全书共9章，第1~4章介绍逻辑动态系统代数状态空间法；第5~8章为其各种应用，包括有限自动机的动态建模
逻辑
论环境法的逻辑嬗变 : 从“义务本位”到“权利本位”
《论环境法的逻辑嬗变 : 从“义务本位”到“权利本位”》,作者:王彬辉著 出版社:科学出版社 ISBN:7030175778。本书对环境法学者关于环境法本位的观点进行了详细介绍、分析和评价，从实证和应然两个角度对环境法本位进行了客观判断。同时以权利为本位完善中国环境法律制度和构建环境法学的权利模式研究体系进行了初步研究。
形式逻辑要现代化——家龙师谈逻辑
《形式逻辑要现代化——家龙师谈逻辑》,作者:刘新文,贾青 编 出版社:科学出版社 ISBN:9787030595980。本书收集了张家龙研究员从1978年开始发表的部分论文和演讲报告，分上、下两篇。上篇主要涉及我国逻辑教学和研究的现代化问题，下篇是张家龙研究员在数理逻辑、模态逻辑、逻辑哲学领域中的重要研究成果。
对偶三角模－三角余模逻辑及推理
《对偶三角模－三角余模逻辑及推理》,作者:张兴芳 出版社:科学出版社 ISBN:9787030432803。本书总结作者张兴芳2005年以来关于概率论、Lawry的适当测度理论、刘宝碇的不确定理论、模糊集理论与数理逻辑理论的结合研究成果。根据非经典命题和谓词的不确定性的各种特征，作者分别提出了相应的逻辑和推理方法，概括其本质分别称为随机命题的概率逻辑、Vague命题的Lawry对偶三角
密码协议分析的逻辑方法
《密码协议分析的逻辑方法》,作者:雷新锋，薛锐著 出版社:科学出版社 ISBN:9787030370969。本书的内容包括密码协议分析相关数理逻辑和现代密码学理论的基础知识、密码协议分析的主要方法综述、各种密码协议逻辑、协议分析实例以及密码协议逻辑分析方法的计算可靠性等。内容涵盖了所有迄今为止重要的密码协议分析逻辑系统，其中包括作者在密码协议分析方面的工作。
经济测度逻辑挖掘：困难与原则
《经济测度逻辑挖掘：困难与原则》,作者:邱东 著 出版社:科学出版社 ISBN:9787030588746。 作为当代经济统计学批判之一，本书主要针对以斯蒂格利茨为首的“经济表现和社会进步测度委员会”的经济测度报告提出质疑。该报告可分为三大部分：传统 GDP 统计、生活质量测度和可持续发展测度。本书分析了经济测度“系统性革命”的必要性，特别是其可行性，指出了测度问题与解决办法之间的逻
科学研究的逻辑 : 思考、判断胜于一切
《科学研究的逻辑 : 思考、判断胜于一切》,作者:张勘，沈福来主编 出版社:科学出版社 ISBN:9787030440532。本书的主要内容：将科学研究作为一张指向知识宝藏的寻宝地图，介绍在去往藏宝点的路上，我们将始于何处（现实工作的现象）、沿途经历哪些风景（提出问题-制定规划-研究计划同行评议-现场取证-桌边验证-研究成果同行评议）、最终将到达何处（研究成果回归现实工作，螺旋上升的新起点），在这
科学研究的逻辑-思考、判断胜于一切（第二版）
《科学研究的逻辑-思考、判断胜于一切（第二版）》,作者:张勘,沈福来 主编 出版社:科学出版社 ISBN:9787030565594。本系列书籍初步探索“临床医生科学研究能力均等化”的对策与方法，以期为我国今后临床医生的科学研究能力规范化培养，奠定一定的基础。 本系列书籍分为逻辑、方法、工具三册，试图将“科学研究”还原本质，化繁为简，使“科学研究”的定义与操作定义变得清晰、具体、可操作、易实践，
