R0代数相关论文
逻辑代数是各种逻辑系统研究的一个重要方向,就是用代数的方法研究逻辑问题.目前已有多种成熟的逻辑系统建立.王国俊教授以（?）*-Lind......
效应代数是量子逻辑理论中一种重要的代数结构,许多学者用不同的方法对其结构进行了研究,其中黏合技巧是研究效应代数的结构的重要......
R0代数是我国著名数学家王国俊教授为了研究形式演绎系统￡*而引入的Monadic算子是将谓词逻辑中存在量词和任意量词进行了代数化.Sta......
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于（?）-Lindenbaum代数......
随着人工智能与信息科学研究的不断深入，模糊逻辑的研究也已成为了一大热点，而模糊逻辑的研究与逻辑代数密不可分。 历史上，早期的......
格蕴涵代数是一种重要的逻辑代数,它可以为格值逻辑和不确定性推理的研究提供一种理论基础.本文在已有研究成果的基础上,对格蕴涵......
在软件学中，基于二值逻辑演算理论去求解一个公式集合关于事实集合的所有极大相容子集（即极大缩减）是信念修正理论中的一个核心问题.......
研究了R0代数类的性质与结构,并用这些结果证明了R0区间[0,1]上的每个重言式在任一R0代数上仍是重言式,进而基于L*_Lindenbaum代数......
基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数-T-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了T-R0......
研究了命题演算系统(ζ)*中一类特殊理论--Boole型理论的内部结构.从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充......
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)......
通过探究R0代数公理条件的内在联系,给出了R0代数的V-半格蕴涵表示形式.同时借助L*系统中公理和R0代数条件的对应关系,进一步简化......
介绍了将R0代数的布尔原子替换为R0代数的定义,给出了将布尔代数的原子依次替换为R0代数得到有限的R0代数的方法,从而进一步刻画了......
首先通过在R0代数M中引入⊕运算给出了肘中的⊕理想和素⊕理想的概念，并讨论了它们的基本性质，得到了一些好的结论；然后在肘的全体素......
通过研究R0代数中一类特殊的元--真布尔元的性质,给出了一些特别的R0等式,并据此得到了真布尔元对R0代数分类的充要条件,为格上研......
研究了每一个元都是布尔元的R0代数,用等式刻划了其特征,证明了如下结果:R0代数M的每一个元都是布尔元的充要条件是M为布尔代数.并......
本文研究了R0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R0代数,它是R0代数的一般化.给出了一些......
在R0代数中定义了Boole元,得出Boole元的性质以及有限R0代数中Boole元的分布规律;研究了R0代数M的滤子和R0代数M作为有界分配格(记......
通过考察非全序R0代数的序结构，分别给出刻划可加(可去)中点的R0代数与不可加(不可去)中点的R0代数的充要条件，对R0代数的结构给出一......
通过数学软件Mathematica得到全部八阶以下的MTL-代数．采用的计算n（n≤8）阶MTL-代数的算法为从低阶有界分配格出发，依据MTL-代数蕴涵算......
在R0单位区间[0，1]上引入了一个逻辑度量ρ，从而（[0，1]，ρ）成为一个度量空间（本文中称“（R0单位）逻辑度量空间”），并对逻辑度量空间的结构及其......
将直觉模糊集与R0代数相结合,定义了R0代数的直觉模糊子代数的概念。讨论了R0代数的直觉模糊子代数与R0子代数之间的关系;证明了R0......
讨论了R0代数的滤子以及相应的可证等价类.在R0代数里给出了一些滤子的具体例子,得到:F是R0代数M的超滤当且仅当F是M的固执滤子;当......
对于R0代数,给出了它的一个等价形式,并建立了它的对偶代数,从此刻划了R0代数内部结构的特征,也为从语义的角度进一步研究模糊逻辑......
讨论了R0代数与MV代数的关系,给出了R0代数的一种根....
简化了弱R0代数及R0代数的定义。在弱R0代数的基础上，提出可交换弱R0代数，并讨论了它的一些新的性质。探究了可交换弱岛代数与格蕴涵......
讨论粗糙集代数与刺余格的关系。借助近似代数上的原子及同余关系，证明了在适当选取蕴涵算子及相应的剩余算子之后，粗糙集代数就成为......
以ΩM记R0代数M到单位区间的全体赋值之集。本文先讨论R0代数的正则性问题，得到了关于风代数正则性的一些结论。从而可通过一种自然......
引入R0代数的Fuzzy MP滤于与Fuzzy素MP滤子的概念，给出R0代数的Fuzzy MP滤子与Fuzzy素MP滤子的若干等价刻画，并由此得到R0代数的MP滤......
目的在R0代数中构造一种新型商代数。方法利用素滤子在R0代数中定义等价关系，得到R0代数的商代数。结果这种商代数是有界分配格。结......
首先,在模糊逻辑命题演算形式系统L*的基础上,讨论了相应的谓词演算理论,建立了一阶形式系统K*,基于R0代数的基本理论,给出了系统K......
探讨以Boole代数、MV代数、R0代数为特例的仰代数的代数性质；得到了概括上述3个代数系统表示定理的仰代数表示定理；在一恰当的结构上......
基于一般R0代数的定义，在e^＊命题集中定义了一种特殊的具体的R0代数-Г-R0代数：基于对e^＊系统中的极大命题集和完备命题集，给出了Г-R0......
讨论P-有界分配格的理想集代数与剩余格的关系。证明了在适当选取蕴涵算子及相应的剩余算子之后,P-有界分配格的理想集代数就成为......
研究了一类重要的模糊逻辑代数系统--R0代数,给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系,讨论了R0代数公......
研究了模糊命题演算形式演绎系统L^＊和与之在语义上相匹配的R0代数，以及基础R0代数和基础L^＊系统，提出了BR0代数的简化形式的概念，讨论......
通过对R0-代数及其命题演算系统L＊的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV......
本文提出了一类伪逻辑代数一伪NM代数，它是NM代数的非交换推广。详细地探讨了伪NM代数的基本性质，给出了伪NM代数的等价特征，这个特征......
研究了R0代数中的幂等元及其应用.在R0代数中定义了幂等元、左映射与幂等映射等概念,讨论了幂等元的性质,得出由全体幂等元构成的......
研究了命题演算系统f中一类特殊理论——Boole型理论的内部结构．从语构、语义两个方面分别给出了一个理论为Boole型理论的几个充要......
进一步研究了模态R0代数的一些重要性质,证明了：当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使（[0,1]R0,□）成......
R0代数是与模糊命题演算的形式演绎系统L＊在语义相匹配的代数系统，为了进一步研究R0代数，引入了R0代数和基础R0代数的定义，讨论了R0代......
次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的......
对R0代数作进一步研究,证明了有限的非全序R0代数至少存在两个不同的分子和原子,引入并讨论了R0代数中界元的性质,得到了非全序R0......
讨论了R0代数中理想、素理想的基本性质，在R0代数M的全体理想集F（M）上定义了格运算，证明了如此定义的格是有界分配格．在M的全体素理想之......
引进了相对于交闭系统的分式R0代数的概念，并研究了R0代数上的Gabriel滤子，证明该滤子可以确定R0代数上的一种同余关系，为进一步研究......
在R0代数M的全体MP滤子集F（M）上定义格运算和伴随对，证明如此定义的MP滤子格F（M）也构成一个剩余格。在R0代数M的强素MP滤子子格FF（M）^-上......
引入了R0代数的Fuzzy子代数、Fuzzy关联MP滤子的概念,给出了R0代数的Fuzzy集是Fuzzy子代数的几个等价刻画,讨论了R0代数的Fuzzy关......
在R0代数中引入了正蕴涵滤子、奇异滤子、MV滤子的概念，讨论了这些滤子的性质及关系。得到了：在R0代数上，蕴涵滤子、正蕴涵滤子、布尔......
在R0代数中引入模糊正规滤子的概念,给出其充要条件,得到了模糊正规滤子的扩张性质,讨论了模糊正规滤子与模糊滤子、截集之间的关......
