互逆主义逻辑基础

互逆主义逻辑是一种全新的逻辑体系，它从命题成分的分析入手，说明命题是由项组成。命题又可分为不同的层次，高层命题由低层命题构成，即逻辑命题由经数命题加联符构成，经数命题由事实命题加联符构成，事实命题由项构成。互逆主义逻辑归纳复合与分解的方法是其主要的创新思想，综合了归纳与演绎推理，它不仅有理论意义还有重要的实践意义。     

密钥交换协议JFK的分析与研究

快速密钥交换（JFK）协议是一种新的密钥交换协议，它的安全性引起了人们的重视。文中通过使用BAN类逻辑方法针对其安全目标进行了分析与研究。首先简介了JFK协议的两种形式和报文交互的工作原理，在此基础上指出了它所达到的安全目标，然后介绍了BAN类逻辑方法的符号语义说明和逻辑规则，并通过使用它对JFK协议中一种具体形式JFKr的安全性进行了分析证明。得出了JFK协议满足密钥交换协议的基本安全需求的结论。     

F推理格式及其应用

Ｆ命题演算是Ｆ逻辑的基本内容，本文引进了Ｆ推理格式的概念，并证明了它的一些基本性质，从而，Ｆ命题的演算可以按照一定的Ｆ推理格式进行推理论证，这样才能导出正确的结论．另外，它又为推断Ｆ逻辑公式的相容性提供了理论方法基础．     

逻辑分析卡的硬件设计

逻辑分析仪是数字域检测的基本仪器，它在数字电路中的作用相当于时域测量中的示波器，在微机上开发逻辑分析仪系统，可充分利用微机的硬、软件资源，有较高的性能价格化，使用方便，功能易于扩充。文中对逻辑分析仪作了简单介绍，探讨ＢＨ－Ｌ３２逻辑分析卡硬件设计的基本原理，介绍了实际调试该逻辑分析卡过程中的一些问题。     

现代逻辑三题

现代逻辑是综合运用多种一般思维方法，广泛联系其他科学技术领域，深入研究不同类型推导形式的逻辑学科群．相对于传统逻辑来说，它具有两大特征：一是形式化，二是实用性。     

从逻辑分析到直觉顿悟──对中国传统思维方式的反思

整体、直觉、顿悟是中国传统思维方式的主要特征，它不会产生近代科学。逻辑分析是西方思维方式的主要特征，它引发了科学发达。二者都不是完美无缺的。本文认为人们认识自然的过程是一个从逻辑分析到直觉顿悟的过程。     

对算子模糊逻辑的拓展讨论

在算子模糊逻辑的基础上，定义了直觉算子模糊逻辑，并对它的性质进行了讨论。     

基于三值语义的非单调逻辑

本文给出一种三值非单调逻辑形式，它一方面可推广标准非单调逻辑到三值情形，另一方面它能捕捉各种非单调逻辑作为特殊形式，特别地，我们证明了三值非单调逻辑与模态非单调逻辑具有密切的关系．     

采用ISP逻辑器件的数字系统设计方法

可编程逻辑器件是一种可以由用户在现场进行编程的逻辑器件，它给数字系统的设计带来了全新的概念，使数字系统的逻辑规模更大，设计变得更加方便、灵活和高效。本文介绍了ISP器件的结构、开发系统和设计方法。     

真、假的“矛盾谬误”──推荐中山大学的《逻辑导论》

在我国，大学里只讲授传统逻辑的现象目前已经有了显著改观，现代逻辑已经走进课堂，并逐渐成为主流。这是我国逻辑学界十多年来致力于逻辑现代化所取得的重要成果之一，这种观念上的重大转变为我国逻辑学的发展打开了通途，前景十分广阔。（见《逻辑导论》的“前言”①）现在《逻》书真的包进了传统逻辑的重要成果，但又以现代逻辑的介绍为主，目标是以逻辑现代化和提高逻辑水平来实现科技现代化和民族素质的提高。《逻》书是在《普通逻辑课本》（林铭钧主编，中山大学出版社1985年出版）的基础上和林铭钧教授的指导下编写的。它是充分发挥…     

逻辑斯蒂模型及其应用

逻辑斯蒂方程是一种非线性的微分方程，其数学模型属于增长的S型曲线模型，利用它可以描述客观事物的增长过程。本文系统阐述了逻辑斯蒂模型的来源、发展及其演变，分析了其生态意义，并举例说明了该模型在实际中的应用。     

中学数学教学的逻辑价值

数学教学的逻辑价值是指逻辑在数学教学中的意义。正确理解和分析逻辑、数学及数学教学的本质及其关系认识和把握数学逻辑价值的基础，数学与逻辑均为“形式科学”和“工具科学”，其发展相互影响、相互推动。数学教学要“重视逻辑”，但“数学不等同逻辑”。逻辑影响和制约数学教学的整个过程，它在数学教学中具有众多的辅助作用。     

逻辑与审美

逻辑能够造就美。学中就盛开着逻辑美的鲜活花朵。不符合语言逻辑和生活逻辑的，难以称之为学。逻辑推理在学创作中往往是作为美妙的思维程式出现的。逻辑并不意味着枯燥的概念会和乏味的推理，它在整个艺术世界中时时闪耀着美的光彩。     

动词非限定形式的逻辑主语

非限定动词是动词的一种形式，除了不能单独用作谓语外，它可以充当句子中的各种成份，从而引发了逻辑主语这一问题。所谓逻辑主语，是指非限定动词表达的动作的执行者或随承受者。本文就三种非限定形式，即不定式、分词、动名词的逻辑主语进行讨论，并试图探讨因逻辑主语的省略而产生的意义上的差异。一、不定式当句中含有不定式时，其逻辑主语一般都能在句中找到，但也会出现逻辑主语隐形的情况。处于后一种情况时，逻辑主语通常可以加进去。请看动词不定式充当不同成份时，其逻辑主语的表达方式。１、当不定式充当主语时，其逻辑主语不可…     

科技英语中的语言逻辑与技术逻辑判断

科技英语中的逻辑判断在科技文献的理解与翻译中十分重要，它既包含语言逻辑判断也包含技术逻辑判断，本文从词汇的某些方面探讨了科技英语中的语言逻辑与技术逻辑判断与翻译．给出典型示例说明科技英语中语言逻辑与技术逻辑判断对正确理解并翻译科技文献的重要性     

基于一类模糊数的模糊推理系统

首先引用一类以四元组表示的模糊数，讨论它的若干性质，说明它可以把单个隶属度、区间值和语言值统一起来处理，然后拓广了Ｇｏｇｕｅｎ逻辑，最后以拓广的Ｇｏｇｕｅｎ逻辑为方法，构造了一个基于四元组的模糊产生式系统。     

缺省模态逻辑

本文在Ｒｉｅｔｅｒ１９８０年提出的缺少逻辑的基础上，将缺少条件视为获取知识的背景知识与所得到的知识同等地加以考虑，提出了一种缺少逻辑。它是一种非单调逻辑，并且具有在Ｒｅｉｔｅｒ的系统中所不能保证的两个重要性质；扩充的存在性和非单调性。     

模糊逻辑组合的灰度模型

首先对复合模糊命题的几种真值计算方法作了介绍，分析各种方法的优缺点，接着为了处理日益增多的模糊逻辑组合算子给用户带来不便的问题，提出模糊逻辑的灰度概念，给出一个处理逻辑组合的灰度模型。它能将具有不同灰度的模糊逻辑统一起来．     

论新时代共同富裕的思想内涵和实践理路

共同富裕是社会主义的本质要求，是全面建设社会主义现代化国家的重要目标。新时代共同富裕思想具有深厚的理论逻辑、历史逻辑和实践逻辑，是一个内涵丰富、意蕴深远的科学理论体系。这一科学的理论体系是坚持中国共产党的领导、以人民为中心的发展思想和坚持共享的发展理念的有机统一，它有效地为实现共同富裕提供了根本政治保证、价值旨归和重要保障。新时代共同富裕思想不仅阐释了共同富裕“是什么”的理论问题，也明确了共同富裕“怎么干”的实践问题，为实现共同富裕宏伟夙愿提供了实践指南。     

偏序集上关联蕴涵代数的性质

偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象．在偏序集关联蕴涵代数概念的基础上，本文对其性质进行了一定的讨论，给出了它与其它逻辑代数结构间的关系．