逻辑功能与逻辑体制

对同一逻辑门电路，既可采用正逻辑体制，亦可采用负逻辑体制，还可采秀混和逻辑体制，选用何种逻辑体制，应视分析和设计逻辑电路的方便与否而定。     

关于我国大学逻辑课教学的几点看法

当前大学文科逻辑现状不容乐观，人内在原因看，教材和教学都存在很多问题。目前通行的逻辑教材虽经不断修订和改革，但仍不成熟。因此，在现有的课程和课时安排下，教师如何组织教学就非常重要。根据多年的教学探索，人文提出了对传统逻辑和现代逻辑内容调整的具体做法，并针对学生学习上的实际问题，提出了两点建议。     

论周礼全的辩证逻辑思想--兼论逻辑研究中的极左思潮

周礼全先生倡导亚里士多德的大逻辑观，极富远见，并身体力行，在菜式逻辑，模态逻辑，语言逻辑与辩证逻辑诸分支都有建树，他认为黑格尔的辩证逻辑是认识逻辑，是将形式逻辑的精华按认识过程的编排，是一部完整的辩证认识论，一种新的逻辑类型。     

构造性逻辑否定排中律吗

构造性逻辑是以否定排中律的前提而构建的一种非经典逻辑系统，但是把构造性逻辑和排中律对照起来看，事实并非如此。在构造性逻辑中，否定符所代表的意义已经不同于其在经典逻辑中的意义，当我们把经典逻辑中排中律的形式放到构造性逻辑中，该形式已经不能表现排中律的实质。所以，构造性逻辑只是在形式上而非实质上否定了排中律。     

模糊知识体系逻辑扩展能力评价模型研究

以真度测度区间的兼容性和推理结果的逻辑语义一致性为评价指标，在模糊逻辑知识体系和二值逻辑知识体系间严格定义了一种模糊知识体系逻辑扩展能力评价模型，并给出对典型加权模糊逻辑的详细评测过程，这个模糊知识体系的逻辑扩展能力评价模型，可对各领域模糊知识体系对二值逻辑知识体系扩展的合理性程度进行评测。     

青年马克思主义者培养的逻辑理路

青年马克思主义者培养事关党和国家事业的兴旺发达，事关民族复兴伟大事业的接续奋斗，在党的事业全局中具有重要地位，并日益形成了科学合理的逻辑理路。系统梳理青年马克思主义者培养的理论逻辑、历史逻辑和现实逻辑，明确其理论支撑，掌握其历史演进过程，回应当前青年马克思主义者培养的现实挑战，对新时代坚持和深化青年马克思主义者的培养、实现中华民族的伟大复兴意义重大。     

如何对待传统逻辑与现代逻辑——兼谈逻辑学教学体系的构建

传统逻辑并非完全过时，“取代论”者之所以主张用数理逻辑代替传统逻辑，是由于他们将“传统”与“落后”相等同，“现代”与“先进”相混淆，从而将传统逻辑看作是“落后的”、“过时的”逻辑，现代逻辑被视为“先进的逻辑”。尽管传统逻辑与现代逻辑在其研究的对象、内容、方法以及适用范围等方面有许多不同，但它们之间并非是完全对立的两极。传统逻辑与现代逻辑的某些内容是可以相容的。传统逻辑现代化的前提是保留传统逻辑，而不是取代传统逻辑。构建逻辑学教学体系要正确处理好传统与现代之间的关系，要相互吸收、借鉴、兼容，反对机械拼凑和生搬硬套，反对一刀切。要根据学科自身发展的规律和教学改革的需要，构建适合不同专业、不同知识背景、不同教学及授课方式的教学体系。     

VLSI综合的逻辑最小化算法

本文讨论了逻辑函数的多维体空间表示方法和运算方法，探讨了接近量小覆盖的两级与－或网络的自动逻辑综合方法，提出不经过求出全部质蕴涵项而直接构成函数的无冗余覆盖的算法，该算法主要用于可编逻辑阵列（ＰＬＡ）及与－或网络的自动综合。     

有限扰动模糊逻辑代数及其广义重言式

讨论了有限扰动模糊逻辑代数，给出了判别其子代数的充要条件：将王国俊教授在多值模糊逻辑系统中的广义重言式理论推广到有限扰动模糊逻辑系统I^2N中，证明了在I^2n中不存在（1，0）-重言式，广义重言不随系统的增大而增多，广义重言式前缀是不灵敏的。     

／p∧-p／=0与／p∧-p／=1／2能使我们陷入“两难”吗？

在卢卡西维茨的三值逻辑理论L3中，当／p／=1／2时，／-p／=1／2，所以，／p∧-p／=1／2。但是，在人们的“逻辑直觉”中，／p∧-p／=0。本指出这种“逻辑直觉”，其实是以二值逻辑暗中取代了三值逻辑，从而得出／p∧-p／=0这样的结果。／p∧-p／=1／2与／p∧-p／=0由于不是以同样的逻辑理论为基础，而是分别以三值逻辑和二值逻辑为基础的结果，因而，它们并不能使人陷入“二难”的境地。     

逻辑学及其在计算机科学中的应用

本文简单介绍了命题逻辑,一阶谓词逻辑,二阶逻辑,模态逻辑,时序逻辑,动态逻辑,模糊逻辑,非单调逻辑,组合逻辑及λ-演算等,讨论了它们之间的相互联系及各自在计算机科学,特别是在人工智能领域中的应用。     

IMTL逻辑系统的一种新扩张形式

提出了一种新的模糊逻辑系统 IMTL^*,这种逻辑系统的特点是只使用蕴涵这一种逻辑联接词。证明了这种逻辑系统是IMTL逻辑系统的模型扩张,并且 ?ukasiewicz 逻辑系统和逻辑系统ℵ^*都是它的模型扩张,应用这些结论给出了?ukasiewicz 逻辑系统和逻辑系统ℵ^*的蕴涵表示形式。只使用蕴涵这一种逻辑联接词的模糊逻辑系统将为模糊逻辑的应用提供方便。     

客观世界的n元关系——兼谈传统形式逻辑和数理逻辑

当代形式逻辑对客观世界n元关系的研究,其视野是传统形式逻辑和数理逻辑无法相比的。从主导思想上看,传统形式逻辑是真正的名副其实的逻辑科学,但它只研究1元关系,不研究多元关系和真正普遍有效的关系推理,因此,传统形式逻辑顶多只能算n分之1的逻辑。数理逻辑虽然把1元或多元关系作为自己的研究对象之一,但它没有从内涵的角度去区分关于同一外延的k个尽管相当然而并不相同的n元关系,从量上说至少是"挂1漏k-1"的,即只从外延的角度研究一种关系而漏掉(k-1)种关系,因此,纯外延的数理逻辑顶多只能算k分之1的逻辑。当代形式逻辑从研究论域上的n目组和n目组集入手,亦即通过确定论域上的个体的所有不同序列,对论域上n个个体(n≥1)之间的所有关系进行了逻辑科学应有的全方位研究。     

概率逻辑中的命题相关性与逻辑运算

原子命题是数理逻辑研究的基本单位. 分析了原子命题的相关性与逻辑运算之间的关系. 在经典二值逻辑中,命题逻辑运算结果的真值只与参与运算的命题的真值有关,而与命题的具体内容无关;在概率逻辑中,命题逻辑运算由命题的关系决定,真值相同的不同命题,逻辑运算结果不一定相同. 定义了与经典二值逻辑相容的蕴涵联结词,克服了条件概率不能用于推理的缺点.     

小议意愿逻辑的构建

意愿逻辑思想源于边沁 ,此后却未成体系。构建独立的意愿逻辑 ,首先要对其基本概念意愿算子W进行深入研究。意愿算子具有主观性 ,因而意愿逻辑是继认知逻辑等从“自然的”逻辑向“人类的”逻辑进一步拓展 ;意愿算子具有倾向性 ,与优先等概念相关 ,意愿逻辑就可借鉴吸取优先逻辑的成果 ;意愿算子还有因程度不同而形成的模态即意态问题 ,并由于倾向性 ,不能像真势模态逻辑那样归纳模态概念     

一种扩展的模糊描述逻辑

为了提高对复杂模糊信息的表示能力,提出一种扩展的模糊描述逻辑.扩展模糊描述逻辑引入模糊概念和模糊关系的截集形式作为原子概念和原子关系,继承经典描述逻辑中的概念构造器和知识库形式,建立新的知识表示逻辑体系.定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题.通过与模糊描述逻辑的比较,阐述了模糊描述逻辑可转化为扩展模糊描述逻辑,从而例证了扩展模糊描述逻辑具有比模糊描述逻辑更强的表达能力.     

英汉翻译中的逻辑处理

从中西思维逻辑差异角度出发,探讨了英汉翻译时简单句、并列句、重合句中逻辑关系的几种处理方式,如扩充暗含逻辑、转换逻辑关系、增译逻辑关联词等。     

论冯契对辩证逻辑的重要贡献

冯契对辩证逻辑有独特的研究,他对辩证逻辑的主要贡献有:第一,明确了辩证逻辑的研究对象,从而科学地区分了辩证逻辑与形式逻辑;第二,提出了具体概念学说,从而确定了辩证逻辑主题是研究具体概念的学说;第三,构建了富有中国传统哲学特色的范畴体系,从而展现了独特的辩证逻辑研究方法.     

分析和设计安全协议的新逻辑的语义

文献[1]中提出了一种分析和设计安全协议的新逻辑.协议分析者可以用该逻辑来对安全协议进行分析,而协议设计者可以使用该逻辑用一种系统的方法来构造安全协议.文献[1]没有给出该逻辑的形式化语义,因为串空间模型具有良好的语义,现将新逻辑和串空间模型结合起来,给出新逻辑的串空间语义,并运用该语义证明了新逻辑的推理规则是正确的.