带等词的“中介”谓词逻辑演算ME^＊的三值特征定理

通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。     

逻辑正弦—余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数和运算规则，逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析，设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式。     

中介逻辑与中介公理集合论的综述

以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响.文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见.此外,还展望了中介数学系统的应用前景.     

/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由于不是以同样的逻辑理论为基础 ,而是分别以三值逻辑和二值逻辑为基础的结果 ,因而 ,它们并不能使人陷入“二难”的境地     

解释非单调推理

本书是《逻辑进展丛书》的第4卷。在非单调和常识推理领域中的许多方法实际上是对相同基本概念与结构的不同表示。正如本书作者于2001年出版的前一本书那样，这本研究论文试图系统地回答“什么是非单调推理？”这个问题，它是对作者前一本书的补充，给出了非单调推理原始方法的逻辑形式化。非单调推理包括默认逻辑、自认识和模态、非单调逻辑以及编程。作者把这种方法称为解释非单调逻辑，这是因为解释的概念可以被看作为这些非单调形式方法背后的最终以及统一的基础。     

逻辑正弦－余弦函数在数字电子技术中的应用

将正弦－余弦三角函数和布尔逻辑代数相结合，交叉形成逻辑正弦－余弦函数，其自变量像普通三角函数的自变量一样可以连续取值，而函数值象布尔逻辑函数一样只取逻辑值“０”和“１”，遵从逻辑代数的运算规则．逻辑正弦－余弦函数既具有正弦－余弦三角函数的某些性质，又具有布尔逻辑函数的特性，为分析、设计数字逻辑电路实现的信号处理系统，提供了一种数学工具和信号形式     

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

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

／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由于不是以同样的逻辑理论为基础，而是分别以三值逻辑和二值逻辑为基础的结果，因而，它们并不能使人陷入“二难”的境地。     

MPM中的等值完全析取范式

主要讨论中介逻辑命题演算系统MP^M中等值意义下的完全析取范式的存在性和唯一性，同时举例说明该范式的作用，用该范式分为真理项与矛盾项两部分，形式简洁，为规范化研究该系统中的合式公式提供了一种工具，此外，还给出了构造中介逻辑命题演算系统MP^M的联结词的归纳。     

关于“中介逻辑ML的一种模型”一文中的一些问题

本文针对[1]给出的中介逻辑ML的模型中出现的有关错误进行讨论并修改,修改结果表明,该模型实质上与Woodruff三值逻辑模型等价。     

测控技术中含有"X"值的验证

利用模型检验技术来验证具有“X” （未知）值的属性.给出了三值（真、假、未知）逻辑公式的模型检验算法,此算法与二值逻辑模型检验算法相比,并没有增加时间复杂度.通过实例说明三值逻辑模型检验算法的应用.     

可拓逻辑（Ⅰ）

建立了可拓逻辑的数学模型,从而更丰富了逻辑学的内容和方法,为研究人们“可变性”的思维形式和思维规律以及处理矛盾问题,开辟了一条新的途径。     

Urban Intersection Traffic Signal Control Based on Fuzzy Logic

IntroductionTraffic signals are essential in transportationnetwork management.A number of traffic signalcontrol methods have been developed in the past.Recently,a major research focus has been theapplication of artificial intelligence techniques,such as expert systems,fuzzy logic,neuralnetworks,and genetic algorithms for intersectionsignal control.　 Pappis and Mamdani[1] developed fuzzy rules toevaluate the suitability of extending a currentgreen phase by different time durations based on ac…     

直觉模糊逻辑算子组与经典算子组之间的关系

文献[1]对经典模糊逻辑“非”、“与”、“或”及“蕴涵”算子进行了系统的研究。文[2]、[3],[4]分别给出了直觉模糊逻辑“非”、“与”、“或”及“蕴涵”算子的定义,并讨论了它们的性质.从而使经典模糊逻辑算子的概念及性质得到进一步的推广。本文在此基础上从代数的观点来讨论 直觉模糊逻辑算子组（D,T,┴,φ,h）与经典模糊逻辑算子组（[0,1],T, ┴,φ,h）之间的关系。     

篇章分析与逻辑学中“逻辑”含义的比较

篇章分析中的“逻辑”连接与逻辑学当中的“逻辑”一词意义不同,认清逻辑一词的意义对于篇章语言学的研究具有深刻意义。     

扰动模糊逻辑及其"与","或"算子

提出了扰动模糊命题逻辑的概念,定义了扰动模糊命题的运算,然后将一维模糊逻辑算子推广到二维的扰动模糊逻辑算子中去,提出了扰动模糊“与”“或”算子,同时对这些逻辑算子的性质做了较为系统的研究,从而使模糊逻辑的概念及性质得到进一步的推广。     

“共同治理”逻辑下的企业剩余收益问题研究

随着人力资本在经济发展中地位的逐渐提升,企业理论由"股东至上"走向"共同治理",剩余收益问题是"共同治理"理论研究和应用进一步深入的关键问题之一。通过对两种主要企业治理理论的分析,在"共同治理"逻辑下界定了剩余收益的内涵以及范围,提出了企业剩余收益分配的模式,并对涉及的主要问题进行了讨论。     

“四个自信”和“四史”教育的内在关联

"四个自信"是习近平新时代中国特色社会主义思想的重要内容,"四史"教育是中国共产党培养高素质干部队伍的重大教育实践活动,两者之间具有密切的内在关联。在理论逻辑上,"四个自信"是马克思主义中国化的重要理论创新,"四史"教育是特殊的马克思主义理论教育;在实践逻辑上,坚定"四个自信"是做好"四史"教育的思想保障,"四史"是形成"四个自信"的实践逻辑;在历史逻辑上,"四个自信"为中国特色社会主义现代化建设提供政治保证,"四史"教育为中国特色社会主义现代化建设提供前进动力。     

组合逻辑电路竞争冒险Multisim仿真分析

分析了组合逻辑电路中"1"型竞争冒险、"0"型竞争冒险的产生条件,基于探索竞争冒险仿真实验技术的目的,采用Multisim10仿真软件对组合逻辑电路竞争冒险的工作波形进行了仿真实验测试,给出了Multisim仿真实验方案,仿真结果生动地展示了竞争冒险的产生过程.所述方法的创新点是解决了组合逻辑电路竞争冒险的工作波形无法用电子实验仪器进行分析验证的问题.