R0代数相关论文
逻辑代数是各种逻辑系统研究的一个重要方向,就是用代数的方法研究逻辑问题.目前已有多种成熟的逻辑系统建立.王国俊教授以（?）*-Lind......
效应代数是量子逻辑理论中一种重要的代数结构,许多学者用不同的方法对其结构进行了研究,其中黏合技巧是研究效应代数的结构的重要......
R0代数是我国著名数学家王国俊教授为了研究形式演绎系统￡*而引入的Monadic算子是将谓词逻辑中存在量词和任意量词进行了代数化.Sta......
随着人工智能与信息科学研究的不断深入，模糊逻辑的研究也已成为了一大热点，而模糊逻辑的研究与逻辑代数密不可分。 历史上，早期的......
格蕴涵代数是一种重要的逻辑代数,它可以为格值逻辑和不确定性推理的研究提供一种理论基础.本文在已有研究成果的基础上,对格蕴涵......
在软件学中，基于二值逻辑演算理论去求解一个公式集合关于事实集合的所有极大相容子集（即极大缩减）是信念修正理论中的一个核心问题.......
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于L*_Lindenbaum代数......
基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数-T-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了T-R0......
研究了命题演算系统(ζ)*中一类特殊理论--Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充......
通过探究R0代数公理条件的内在联系,给出了R0代数的V-半格蕴涵表示形式.同时借助L*系统中公理和R0代数条件的对应关系,进一步简化......
介绍了将R0代数的布尔原子替换为R0代数的定义,给出了将布尔代数的原子依次替换为R0代数得到有限的R0代数的方法,从而进一步刻画了......
