临界的传递逻辑——模态逻辑的濒表格性问题探究
《临界的传递逻辑——模态逻辑的濒表格性问题探究》,作者:杜珊珊,康宏逵 著 出版社:科学出版社 ISBN:9787030530813。 本书详述传递的濒表格逻辑的判据及其应用，以及在此基础上所做的关于濒表格逻辑的若干研究结果，解决了传递逻辑格的濒表格性的语义判据，以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题，展示了如何将已有的传递的濒表格逻辑的结果纳入本书提出的方法和视
逻辑
半线性子结构逻辑的标准完备性（英文）
《半线性子结构逻辑的标准完备性（英文）》,作者:王三民 著 出版社:科学出版社 ISBN:9787030668769。本书系统阐述模糊逻辑标准完备性证明的各种方法和理论，为初学者尽可能多的提供理论和技术上的细节，使其能尽快进入这一课题的研究工作。特别地，较为详细的介绍了作者在这些方面所做的工作，对IUL完备性的证明进行了详细的论述，并针对主算法的最困难部分给出了实例,这在一般地论文写作是不可能的
合作的逻辑：一种演化模拟的视角
《合作的逻辑：一种演化模拟的视角》,作者:黄璜 著 出版社:科学出版社 ISBN:9787030542052。2005年，《科学》杂志将“合作行为如何演化”列为21世纪最关键的25个科学问题之一。解释或理解合作演化的逻辑，无论从理论和实践的角度都具有重要的意义。基本的研究问题是在没有外部强制下的合作如何实现？博弈理论说明，具有完全理性的自利个体在博弈中一定会选择有利于个体自身、却不利于共同利益的行
第二次现代化理论 : 人类发展的世界前沿和科学逻辑 : the frontiers and principles of human development
《第二次现代化理论 : 人类发展的世界前沿和科学逻辑 : the frontiers and principles of human development》,作者:何传启著 出版社:科学出版社 ISBN:9787030374134。本书系统分析了人类文明的四个时代及其前沿变化，综合比较了全球130多个国家的发展水平，系统分析了两次现代化的前沿过程和基本原理，阐述了18世纪以来人类发展的前沿变化及
现代认知逻辑的理论与应用
《现代认知逻辑的理论与应用》,作者:唐晓嘉，郭美云主编 出版社:科学出版社 ISBN:9787030287465。本书主要讨论传统的单主体认知逻辑、时态逻辑、群体知识和多主体认知逻辑、公开宣告逻辑、博弈逻辑、信念修正的动态逻辑、非逻辑全知主体的逻辑等。
ALTERA可编程逻辑器件应用技术
《ALTERA可编程逻辑器件应用技术》,作者:于枫等编著 出版社:科学出版社 ISBN:7030139526。本书介绍了Altera公司的可编程逻辑器件的应用技术，重点介绍了开发软件包MAX+plus2的应用，并融入了作者的经验体会；同时扼要介绍了Altera公司第四代先进的开发软件Quartus2；最后以实例引导读者进一步理解、消化软件的应用方法。
逻辑靶场公共体系结构设计
《逻辑靶场公共体系结构设计》,作者:金振中,宋琳,许雪梅 著 出版社:科学出版社 ISBN:9787030637505。本书针对跨靶场、跨军种、跨区域的联合试验鉴定需求，结合基于实战化考核的试验鉴定理论，系统阐述逻辑靶场在试验鉴定领域的作用以及逻辑靶场公共体系结构对联合试验鉴定的意义；分析靶场存在的问题和装备发展对试验鉴定的现实需求，提出逻辑靶场公共体系结构多维视图总体框架，重点设计系统视图、软件
数学·逻辑·语言 : 三种基础素养以及创想意识
《数学·逻辑·语言 : 三种基础素养以及创想意识》,作者:傅鹂 出版社:科学出版社 ISBN:9787030445186。本书含有数学、逻辑、语言以及创想各领域作者精选归纳的知识和作者独立思考、探索和研究的成果。全书分为：数学篇——确定与抽象制胜之典范、逻辑篇——理性的可靠与威力、升华篇——创想变奏曲等四篇。
逻辑——从三段论到不完全性定理
《逻辑——从三段论到不完全性定理》,作者:熊明 出版社:科学出版社 ISBN:9787030477026。本书以公理化思想为主导，从亚里士多德的三段论到哥德尔的不完全性定理，阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线，分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统，并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本
