R0-代数相关论文
逻辑代数作为模糊命题系统的语义理论已形成了一个重要的代数分支.在非经典逻辑中,由J. Pavelka引入的丰富剩余格是一种非常重要的......
在模糊逻辑中,滤子理论对证明演绎系统完备性有非常深刻的意义.近年来,学者们从不同角度对其进行研究,提出了多种形式的滤子.特别......
逻辑代数是把逻辑推理系统的代数化。R0-代数是逻辑代数的一个基本研究对象。在逻辑代数中,不同的滤子代表不同的推理规则。直觉模......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的......
特区间值模糊集的概念应用于R0-代数,引入区间值模糊R0-子代数的概念并研究它的性质.给出了区间值模糊集成为区间值模糊R0-子代数......
Cagman引入模糊参数模糊软集(简记为fpfs)的概念,该概念是模糊集和软集的推广.本文将这一理论应用到R0-代数中,引入R0-代数的fpfs......
研究了模糊逻辑的形式演绎系统L*及R0-代数的性质,得到形式系统L*的两个更简捷的等价系统,证明了R0-代数的对偶代数是有界逆序对合......
通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等......
研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了S......
对十个重要逻辑蕴涵算子的性质进行了较全面的比较研究,得到若干基本结果,它们在各逻辑系统的比较研究中有一定参考价值.......
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质.以此为基础,讨论了R0-代......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^＊和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L^＊系......
根据R0-代数中对偶核定义，可讨论它的相关性质，此对偶核是同态原象的一个滤子。...
在R0-代数和直觉模糊集理论的基础上,首先引入了R0-代数上直觉模糊滤子的定义;其次,在直觉模糊滤子的基础上,定义了R0-代数上的（λ,......
研究了R0-代数、格蕴涵代数和基本逻辑代数;讨论了一般赋值格中一种混合运算的性质,特别是对这种混合运算在R0-代数中的性质进行了......
基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式；进一步指出了各种逻......
定义了多值逻辑系统W中的否定度,利用否定度的定义和R0-代数的性质得出了多值逻辑系统W中否定度的基本性质,讨论了多值逻辑系统W中......
在R0-代数和直觉模糊集理论的基础上，引入R0-代数的直觉模糊子代数、直觉模糊关联MP滤子的概念．给出R0-代数的直觉模糊集是直觉模糊......
首先,利用滤子的扩张方法在R0-代数中引入相对零化子的概念,并结合滤子的概念提出广义相对零化子的概念,证明R0-代数中广义相对零......
讨论了粗糙集代数与R0-代数的关系以及由粗糙集代数构造R0-代数的方法。粗糙集本身具有格结构,证明了在适当选取蕴涵算子之后,粗糙......
引入了代数R0-的导子并研究了R0-代数上导子的相关问题。利用导子的保序性、收缩性、不动点集和R0-代数的滤子,获得了一个滤子成为......
研究了赋值为R0-模糊集逻辑系统X的语义理论,得到了若干结果,特别是对X而言,F(S)中的α-重言式类只有1/2-重言式类与重言式类两类.......
R0-代数与BL-代数在模糊逻辑的研究中有重要作用,这与布尔代数在经典逻辑中的作用类似.本文通过一个特殊集x-1F分别给出R0-代数及B......
借助于素理想族,刻画了R0-代数的不可约表示定理,即证明了R0-代数M有不可约表示当且仅当存在φ真包涵于P,使得∩=φ{0}并且[M]φ是......
通过对基础模糊命题演算系统BL＊及相应的Lindenbaum代数的研究,给出了BR0-代数的格蕴涵表示形式,使得BR0-代数从定义形式上更加符合......
R0-代数是基于系统研究形式演绎系统∫*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer......
同余关系是相等关系的推广，而同余关系又是一个等价关系，基于这一点，利用同余这一工具，把粗糙集理论应用到R0-代数中去，将粗糙集中的上......
在一般集合M上（放弃格的要求）以二元算子⊙，→为基本算子给出了R0-逻辑代数的一种纯代数表示形式（M，（⊙，→）），进一步显示了R0-逻辑代数的一般......
该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数....
文提出了局部R0-代数的概念，并给出了相应的等价条件，即（i）R0-代数L是局部的，（ii）任意x∈L,ord（x）〈∞或ord（-x）〈∞,（iii）每—个真滤子是primar......
在R0-代数中引入布尔MP滤子与布尔MP理想的概念,给出其若干充要条件,研究了它们与素滤子、极大MP滤子的关系.通过反例指出了关于超......
在R0-代数中引进了Boole可补元的概念，讨论了Boole可补元的一些基本性质；利用Boole可补元构造了R0-代数的一种直积分解．这些结果在一......
基于R0-代数（BR0-代数）对于模糊命题逻辑系统L＊（BL＊）的语义的重要性，对R0-代数和BR0-代数作更进一步的探讨，得到了它们的一些新的性质以及B......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相关的R0-代数。提出了基础R0-代数的观点并讨论了其中的一......
在R0-代数中，从模糊集出发构造了模糊MP-滤子，作为应用证明了如下结果：R0-代数的所有模糊MP-滤子构成一个完备模格。......
通过对模糊命题演算系统L＊及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-......
通过研究MV-代数、Ⅱ-代数、G-代数、R0-代数等模糊逻辑代数的赋值（从模糊逻辑代数L到单位区间[0，1]的同态）与滤子之间的关系，建立了MV......
设Ω是全体从R0-代数M到R0单位区间[0，1]的同态之集，μ是Ω上的一概率测度。引进M上的元素的尺寸和元素对间的相似度，然后在肘上建立......
以ΩM记R0-代数M到R0-单位区间的全体赋值之集．证明一个同构于一族全序的至多可数的R0-代数的直积的子R0-代数M是赋值决定序的，即x≤......
研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在......
在探讨基础 R0-代数与 BCI/BCK-代数间相互联系的基础上，比较了基础 R0-代数的素滤子与BCI/BCK-代数的真理想间的区别与联系，并对基......
证明了非链的有限R0-代数至少含有两个不同的对偶原子；在同构的意义下，非链的6元R0-代数有且仅有一个，并具体给出了它的构造，即一个2值......
R0-代数是基于系统研究形式演绎系统な*而提出的一类逻辑代数.研究了R0-代数的结构.引进了R0-代数的正规MP-理想的概念.讨论了正规......
首先论证了区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。其次，在引入两个新的运算算子的基础上，进一......
证明三种不同形式的 MV-代数刻画的等价性 ,分析 MV-代数、BL -代数与 R0 代数的逻辑背景 ,提出若干可进一步研究的课题......
为了给模糊推理建立严格的逻辑基础,王国俊教授提出了模糊命题演算系统L*和在语义上与之相匹配的R0-代数,这一新的理论的形成引起......
