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

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

模态描述逻辑的模型

本文主要讨论描述逻辑ALC的模态扩充,介绍扩充后所得的模态描述逻辑MALC 的语法与语义,然后定义了模态描述逻辑的不交并模型、生成子模型的模型构造方法,并且证明他们具有的性质.     

一种弗协调认知逻辑CnEK

本文试图以弗协调模态逻辑CnG'为基础,建立一种弗协调认知逻辑CnEK.     

利用二值代数的化简法则进行三值组合电路的设计

本文用TTL技术讨论三值组合电路的设计。提出了用于输入端口和输出端口的两个三值和二值互相变换的转换器,从而可利用二值代数中的化简法则,使设计出的三值组合电路结构简单,成本降低。本文所用的代数系统简易,基本电路的理论分析和实验证明取得一致,设计举例也已通过HSPICE程序。     

评“中介逻辑ML的一种模型”

近年来,朱梧槚、肖溪安等发表了名为“中介逻辑”的形式命题演算系统MP,并在系统内作了大量形式推演。由于起初“中介逻辑”没有语义解释,使得一段时间以来人们对“中介逻辑”是否为普通三值逻辑发生争议。有的作者试图为其建立模糊解释,然而最终导致失败。研究结果表明,“中介逻辑”确是三值逻辑,李祥、李广元在“科学通报”1988年第22期和1989年第5期的两篇文章中对此作了明确的回答。笔者就潘正华发表在《南京师大学报》1989年第一期上的文章“中介逻辑ML的一种模型”一文中出现的有关错误进行讨论。     

复杂系统的逻辑结构判据问题

系统阐述了LAPP方法以及2004年以来的主要发展,并指出一些新的针对复杂系统的逻辑结构判据算法及相关问题的研究方向.     

“中介”谓词逻辑演算MF的特征问题

本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。     

Exclusive-nor sum-of-sum逻辑及其最小化研究

对DRM(dual Reed-Muller)逻辑的非标准形表示形式和之同或和(exclusive-nor sum-of-sum,ENSOS)进行研究,并给出一种启发式的ENSOS逻辑最小化算法。该算法采用立方体覆盖表示ENSOS,对立方体迭代应用XNOR连接运算实现ENSOS逻辑的化简。为在算法结果质量与算法效率之间进行折中,该算法在进行立方体的XNOR连接时采用前瞻和回溯策略。使用基准函数进行验证的实验结果表明,所提出的算法能够获得更为精简的逻辑表达式。     

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

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

Lambek逻辑的名词化扩充

出于语言学的动机,给出著名的 Lambek 逻辑 L 的一个扩充 Lnom.在Lnom中,引入名词化的公理与规则.系统Lnom关于修正幂集剩余半群语义是可靠和完全的.     

Monadic分划逻辑中的Fraisse定理

给出Ｍｏｎａｄｉｃ分划逻辑初等等介的一个代数刻画，从而把Ｆｒａｉｓｓｅ定理从一阶的情形推广到了Ｍｏｎａｄｉｃ分划逻辑的情形。     

基于多值逻辑上的不分明化群

给出了基于多值逻辑上的不分明化群的概念,从一个新的方向讨论了模糊代数结构,研究了正规子群,陪集和同态映射等代数性质。     

中介逻辑ML的一种模型

中介逻辑ML是一种新的且已形式化的逻辑系统。本文根据该理论的直观背景及实际意义,研究它的语义解释,即给出赋值的数学定义,从而得到这种形式系统的一种模型,为研究这种理论的完备性与可靠性奠定了基础。     

模糊逻辑系统的改进

模糊推理方法和非模糊化策略是模糊逻辑系统的两个最重要的组成部分 ,在很大程度上影响模糊系统的性能和效果。根据“t范式”和“t协范式”不同的操作组合方式 ,提出了几种改进的模糊推理方法和非模糊化策略 ,并通过计算机模拟得到了比较满意的效果。这说明Mamdani所提出的模糊推理方法并不是唯一的模糊控制方法     

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

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

约束逻辑程序的一个新语义研究

首先介绍了s-语义方法的基本思想,然后采用这种方法讨论了约束逻辑程序一个重要的可观察性特征——多重回答约束,并给出相应的语义,使得从语义角度反映了约束逻辑程序的并行特征,而且引入了一个新的关于程序等价的定义,从更严格的角度分析了程序的等价,加深了对程序的理解,有助于程序员编写高效和简洁的程序,突出了约束逻辑程序设计系统作为程序设计语言的特征.     

Clifford代数与量子逻辑门

以 Clifford代数为工具 ,讲座量子比特 ( Qubit)与量子逻辑门 (量子非门 ,Hadamard门 ,量子受控非门 ,Toffoli门等 )的有关性质。