三值模糊逻辑函数实现静险态的检测

在二值逻辑回路中 ,只存在 0 -险态和 1-险态。这两种静险态的检测是通过二值模糊逻辑函数实现的。本文将模糊逻辑函数中的变量取为三值 (即 0 ,α ,1)加以研究。给出了三值模糊逻辑函数 f关于某一变量 x存在 0 -险态 ,α -险态和 1-险态的充要条件 ,从中得到 :(1)借助三值模糊逻辑函数实现 12 -险态是行不通的 ;(2 )当α <12 ,传输向量中的第 j个分量为 12 时 ,可以通过三值模糊逻辑函数实现该变量的α -险态     

一种度量结构在四种逻辑代数上的共性

对MV逻辑代数、Godel逻辑代数、乘积逻辑代数、R0逻辑代数在度量方面的性质进行了进一步研究。首先根据四种逻辑代数的共同性质,在它们的单位区间[0,1]中建立了一种逻辑度量结构:其次对度量结构在四种逻辑代数中的共有性质进行了讨论,并分别在四种逻辑代数中给出了这种度量结构的具体形式;最后证明了四种逻辑代数中的基本运算关于度量结构的连续性。     

可拓逻辑的可满足性问题研究

可满足性是逻辑语义理论的基本概念.在分析基元命题内部的逻辑形式的基础上,研究了可拓逻辑的语法及语义理论,给出了可拓逻辑中的可满足性定义.讨论了矛盾问题的可拓逻辑表示,并给出了基于可满足性概念的矛盾问题定义和表示实例.     

线性逻辑和态极逻辑引论(Ⅰ)

《线性逻辑和态极逻辑引论》一文概述了由Girard分别于1986和2001所创建的线性逻辑和态极逻辑.线性逻辑和态极逻辑汲取于计算机科学并反之应用于其中,从根本上对数理逻辑进行了彻底的审视.全文分为两部分.本文是文章的第一部分,致力于线性逻辑的联结词、证明规则、可判定性性质和模型.文章的第二部分将研究证明网并简要介绍态极逻辑.证明网是证明的图式表示,是线性逻辑的主要创新之一.     

线性逻辑和态极逻辑引论(Ⅱ)

本文是《线性逻辑和态极逻辑引论》一文的第二部分。文章致力于证明网(第1节)和态极逻辑(第2,3,4和5节)证明网部分尽管局限于其积线性逻辑框架,但仍不失其重要性。线性逻辑和态极逻辑均为Girard所创建,近期所发展起来的态极逻辑旨在于进一步揭示计算和逻辑的基本交互作用的本质。我们希望本文能对这一新的理论带来一些计算机科学方面的启示。     

模糊命题演算系统■~*的简化与独立性

模糊逻辑命题演算系统■*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统■*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。     

模糊命题演算系统(L)*的简化与独立性

模糊逻辑命题演算系统L^＊在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统L^＊的语法结构，得到了一些有趣的新结果，特别是给出了它的一个简化形式，并证明了这个简化公理系统的独立性。     

R0-代数的格蕴涵表示定理

通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。     

格蕴涵代数的蕴涵表示定理

在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。     

格值有穷自动机和单体二阶格值逻辑

引入了单体二阶格值逻辑,进而给出了基于格值逻辑的有穷自动机识别语言的逻辑描述,证明了格值逻辑意义下的Buchi-Elgot基本定理.通过引入星自由语言与非周期格值语言,完全刻画了可以用一阶格值逻辑定义的格值语言,得到了格值逻辑意义下的Schutzenberger分类定理.     

LΠ是Schweizer-Sklar参数化三角模及其剩余算子的逻辑(英文)

证明了LΠ是Schweizer-Sklar参数化三角模及其剩余算子的逻辑.这一结果给出了构造两个或多个模糊逻辑的定理的交集的统一语义的一种方法.     

基于错误逻辑相似变换构建网购用户评价有效集模型

基于错误逻辑相似转化联结词,给出了错误逻辑命题的论域、事物、空间、特征、量值、错误值、规则、错误函数、时间等参数的相似变换矩阵定义.文中给出了形式上为T(C_1)=C_2的相似变换错误矩阵方程模型.针对电子商务网购用户评价的网上抓取数据,定义了从包含若干无效评价的大集合向有效小集合变换的错误矩阵模型.模型是基于错误逻辑理论,从已知转化系数矩阵T,以及初始错误矩阵,向未知目标集合进行相似变换的知识推理探索.     

一类m值逻辑函数Chrestenson谱的分解式及其应用

本文给出一类ｍ值逻辑函数Ｃｈｒｅｓｔｅｎｓｏｎ谱的分解式,并据此给出了环Ｚｍ上非线性弹性函数的一些新的构造方法。     

平衡逻辑公式在逻辑度量空间中的分布

引入了平衡逻辑公式的概念,证明了和一个平衡逻辑公式等价的逻辑公式是平衡逻辑公式.并且n元平衡逻辑公式中等价类关于(一),ν,Λ,→运算封闭,等价类之集[A](A是n元平衡逻辑公式)关于包含序在ν,Λ下构成一个格.证明了n元平衡逻辑公式只占全体n元逻辑公式的很小一部分,其比例随n的增大而趋向于零.其次,n元平衡逻辑公式的真度总是等于1/2,任一n元平衡逻辑公式的任意小的邻城内都有非平衡逻辑公式,但是这些公式的真度随n的增大而趋向于1/2.最后,给出了平衡逻辑公式的表示定理.     

多值命题逻辑中逻辑理论的拓扑刻画

基于多值Lukasiewicz命题逻辑系统Ln中的计量逻辑学理论。研究了逻辑理论在逻辑意义下的性质与其在拓扑意义下的性质之间的联系，并给出了闭逻辑理论的拓扑性质描述及多值命题逻辑中逻辑理论的发散性的拓扑刻画。     

基于格值逻辑的模糊概念格

从逻辑的角度,将非经典逻辑之一的格值逻辑引入概念格,建立了格值模糊形式背景,通过格结构来刻画对象与属性之间的模糊关系,证明了由蕴涵算子诱导的算子对是伽罗瓦连接,并讨论了相关的一些性质,进而给出了格值模糊概念格的构造算法.格值模糊概念格的建立为模糊性与不可比较性信息的处理提供了可靠的数学工具.     

任务逻辑中的定理

基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。     

常用逻辑用语中的参数问题

常用逻辑用语中的参数问题是考试中的热点问题之一,也是很多同学容易出错的知识点之一．下面就常用逻辑用语中常见的含参问题进行分类解析,供大家参考．     

化简Fuzzy逻辑函数直接方法的注记

本文改进了［１］给出的化简Ｆｕｚｚｙ逻辑函数的方法,首先给出广义互补项的概念,并应用它证明可删去顶的充要条件,然后给出了不满足定理条件的问题解决办法,从而得到一种既方便又能将Ｆｕｚｚｙ逻辑函数化到最简的办法．     

同主语同标签Vague命题的Lawry逻辑

给出了Lawry不确定模型的新的性质.基于Lawry模型,引入了同主语同标签Vague命题的Lawry真度的概念.由此,提出了一种非经典逻辑,称为同主语同标签Vague命题的Lawry逻辑,简称Lawry逻辑.其逻辑规律表明它与经典逻辑具有优良的和谐性.