多值逻辑系统相关论文
该文以数字电路的开关信号理论为指导,设计了一种三值比较型A/D转换器,该三值A/D转换器在保证高转换速度同时具有相对简单的电路结构......
不同的多值逻辑系统对应着不同的逻辑代数系统,早在1958年,著名逻辑学家C.C.Chang为解决Lukasiewicz多值逻辑系统的完备性而引入......
1997年,王国俊教授基于蕴涵算子R提出了修正的Kleene系统W,W,W,又于1998年引入了广义重言式的概念,对修正的Kleene系统的广义重言式类......
多值逻辑理论是由J.Lukasiewicz和E.Post各自独立地于20世纪20年代提出来的。经过一百多年的发展,已经枝繁叶茂,成为一门学科。比较......
将多值逻辑系统巩(0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1/2上的......
研究了多值逻辑系统中各种重言式与经典逻辑系统中重言式间的关系.指出了多值逻辑系统中判断公式不是重言式的充分条件,并对其中一......
本文是1977年版《大英百科全书》(第15版)《逻辑学史》一文的最后一个题目,介绍了二十世纪以来西方国家逻辑学的发展概况。摘译如......
基于一类带参数a的[0,1]上的t-模*。及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当α=1/2时的多值逻辑系统H1/2.以H1......
给出了一类带参数的[0,1]上的t-模*α及与之伴随的新的蕴涵算子Hα(0≤α≤1),进而建立了多值系统Hα.当α=1时,Hα就是R0型蕴涵算......
【正】 波兰逻辑发展的最近一个时期的杰出人物是卢卡西维茨,他是特瓦多斯基的学生,后来继承和发展了皮尔士、耶芳斯(Jevons)、施......
逻辑度量空间是近似推理的重要框架.文中在文献[1]中提出的公式集F(S)上相似度的基础上给出了另外两种相似度,讨论了其性质,证明了......