The Lattice of（∈,∈∨qk）-fuzzy Filters in a Given R0-algebra

The purpose of this paper is to further study the(∈,∈∨q_k)-fuzzy filter theory in R_0-algebras. Some new properties of(∈, ∈∨ q_k)-fuzzy filters are given. Representation theorem of(∈,∈∨q_k)-fuzzy filter which is generated by a fuzzy set is established. It is proved that the set consisting of all(∈, ∈∨q_k)-fuzzy filters on a given R_0-algebra, under the partial order, forms a complete distributive lattice.

R0代数,MV代数的等价刻画

通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画.

基于犹豫模糊集的R0-代数区间隶属度计算

传统的R0-代数区间隶属度计算方法计算准确率低、运行完整度差,为了解决上述问题,提出基于犹豫模糊集的R0-代数区间隶属度计算方法,对R0-代数区间隶属度数据进行初步分析,查找数据计算误差产生的基础性原因;采用模糊综合评判法识别R0-代数区间隶属度的权重特征。最后通过模糊犹豫集对隶属度权重特征进行隶属度判定,完成R0-代数区间隶属度的计算。实验结果表明,与传统的隶属度计算方法相比,所提计算方法具有较高的计算准确率与运行完整度,可以实现R0-代数区间隶属度的精准计算。

R0代数的双极值模糊子代数

把双极值模糊集和R0代数相结合,首先给出R0代数的双极值模糊子代数的概念并讨论其性质,研究双极值模糊集的截集与双极值模糊子代数的关系,得到了R0代数中两个双极值模糊子代数的交仍然是双极值模糊子代数的结论;其次,引入了R0代数同态的概念,证明了R0代数的双极值模糊子代数在同态下的像(原像)仍然是双极值模糊子代数;最后,在R0代数中引入双极值模糊子代数直积的定义,并讨论了R0代数中双极值模糊子代数直积的性质。

R0代数中的布尔原子及其应用

介绍了将R0代数的布尔原子替换为R0代数的定义,给出了将布尔代数的原子依次替换为R0代数得到有限的R0代数的方法,从而进一步刻画了布尔代数与R0代数之间的关系。

R_0-代数(NM-代数)的布尔MP滤子与布尔MP理想

在Ro-代数中引入布尔MP滤子与布尔MP理想的概念,给出其若干充要条件,研究了它们与素滤子、极大MP滤子的关系。通过反例指出了关于超MP滤子的一个错误结论,给出超MP滤子的一个充分必要条件。在此基础上研究了Ro-代数的结构,用布尔MP滤子与布尔MP理想刻画了二部Ro-代数、强二部Ro-代数的特征。

R_0代数及其基本结构

以Ｒ０－Ｌｉｎｄｅｎｂａｕｍ代数为背景，提出了较蕴涵格稍强的Ｒ０代数概念，在讨论了其基本性质的基础上给出了Ｒ０代数的两个等价系统，并从商代数的角度研究了Ｒｏ代数的基本结构．

基础R_0代数的结构研究

引入了BR0-代数的正规MP滤子和布尔MP滤子,讨论了他们之间的关系:布尔MP滤子是正规MP滤子,但反之不成立.其次,给出了它们的特征性质.设M是BR0代数,则以下条件等价:(1)M是一个正规BR0代数,(2)M的每一个MP滤子是正规的,(3)M的MP滤子{1}是正规的.最后刻画了正规BR0代数的结构:(1)F是布尔MP滤子当且仅当M/≈F是布尔代数;(2)M/≈F是正规BR0代数当且仅当F是正规MP滤子.

关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．

基础R_0-代数与BCI/BCK-代数的关系(Ⅱ)

在探讨基础R0-代数与BCI/BCK-代数间相互联系的基础上,比较了基础R0-代数的素滤子与BCI/BCK-代数的真理想间的区别与联系,并对基础R0-代数的商代数与BCI/BCK-代数的商代数作了进一步研究,给出两种模糊逻辑代数结构的内在联系与区别.

可交换弱R_0代数

简化了弱R0代数及R0代数的定义。在弱R0代数的基础上,提出可交换弱R0代数,并讨论了它的一些新的性质。探究了可交换弱R0代数与格蕴涵代数之间的关系,以及与MV代数之间的关系。

R_0代数的滤子理论

在R0代数中引入了正蕴涵滤子、奇异滤子、MV滤子的概念,讨论了这些滤子的性质及关系。得到了:在R0代数上,蕴涵滤子、正蕴涵滤子、布尔滤子是等价的;奇异滤子与MV滤子是等价的;正蕴涵滤子是奇异滤子,但反之不真。

R_0代数的Fuzzy子代数与Fuzzy关联MP滤子

引入了R0代数的Fuzzy子代数、Fuzzy关联MP滤子的概念,给出了R0代数的Fuzzy集是Fuzzy子代数的几个等价刻画,讨论了R0代数的Fuzzy关联MP滤子的若干性质,证明了Fuzzy子代数(Fuzzy关联MP滤子)在R0代数同态(同构)下的不变性。

广义R_0-代数

给出一种基于左连续的广义t-模的代数——广义R0-代数的定义和若干性质。

[0,1]上的一种逻辑度量结构

在R0单位区间[0,1]上引入了一个逻辑度量ρ,从而([0,1],ρ)成为一个度量空间(本文中称"(R0单位)逻辑度量空间"),并对逻辑度量空间的结构及其性质进行了详尽的讨论,结果表明a∈(0,1),{a}即开又闭,而{0},{1}是闭集,但不是开集.

R_0-代数上的Fuzzy同余关系

在R0-代数中引入Fuzzy同余关系的概念,讨论了Fuzzy同余关系的一些基本性质,并通过对R0-代数中的Fuzzy M P滤子,特别是生成Fuzzy M P滤子的讨论建立了Fuzzy M P滤子与Fuzzy同余关系之间的联系。

伪NM代数及其性质

本文提出了一类伪逻辑代数-伪NM代数,它是NM代数的非交换推广。详细地探讨了伪NM代数的基本性质,给出了伪NM代数的等价特征,这个特征恰好是Ro代数的非交换推广。证明了伪NM代数类形成一个簇。

关于R_0代数公理系统的简化与独立性的修正

目的简化R_0代数的定义。方法修正并利用《R_0代数公理系统的简化与独立性》一文的主要结果来考察R_0代数的原始定义及其性质。结果给出了R_0代数一个新的特征定理并证明了该定理中各条件相互独立。结论所给出的(弱)R_0代数的简化定义已是最简。

粗糙集代数与R_0-代数

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(<下近似集,上近似集>)表示入手,通过定义偶序对的基本运算,从而构造出相应的粗代数并发现R0-代数能够抽象刻画偶序对的性质。讨论了粗糙集代数与R0-代数的关系以及由粗糙集代数构造R0-代数的方法,借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子和余运算之后,粗糙集代数就成为R0-代数。

R_0-代数在一般集合上的,→表示形式

在一般集合M上(放弃格的要求)以二元算子,→为基本算子给出了R0-逻辑代数的一种纯代数表示形式(M,(,→)),进一步显示了R0-逻辑代数的一般代数特征及R0-代数与其他逻辑代数的联系.