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

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

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

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

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

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

R_0代数的根及其结构特征

在现有的基于中点与真布尔元对R0代数进行分类讨论的基础上,提出了R0代数的根的概念,并通过研究根的若干重要性质给出了含真布尔元的R0代数结构特征的一个精细刻画,从而完全解决了这类R0代数的结构问题。

可交换弱R_0代数

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

R_0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统———R0 代数 ,给出了R0 代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系 ,讨论了R0 代数公理系统的简化问题 ,得到R0 代数的两个特征定理 ,并证明了这两个特征定理中条件的独立性 ,由此得到R0 代数两个独立的公理系统 .研究结果表明 ,R0 代数类和弱R0 代数类都构成代数簇 ,即等式代数类 .因而这两个代数类关于子代数。

R_0代数中的真布尔元

通过研究R0代数中一类特殊的元——真布尔元的性质,给出了一些特别的R0等式,并据此得到了真布尔元对R0代数分类的充要条件,为格上研究R0代数开辟了一个新的方向。

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

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

BR_0代数与FI代数的关系

研究了模糊命题演算形式演绎系统L*和与之在语义上相匹配的R0代数,以及基础R0代数和基础L*系统,提出了BR0代数的简化形式的概念,讨论了BR0代数与FI代数的相互关系。

Γ-R_0代数及其滤子

基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数—Γ-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了Γ-R0代数代数的滤子的一般形式及其Γ-R0代数的特殊滤子与特殊命题集之间的关系.

R_0代数的一种等价形式

R0代数是与模糊命题演算的形式演绎系统L*在语义相匹配的代数系统,为了进一步研究R0代数,引入了R0代数和基础R0代数的定义,讨论了R0代数其中的一些基本性质及R0代数与基础R0代数的区别与联系,在(a→b)∨((a→b)→a∨b)=1条件下基础R0代数就是R0代数,并且得到了R0代数的一类等价系统.

态R_0代数

本文研究了R_0代数上有关态算子的问题.利用MV-代数上内态的引入方法引入了态算子,定义了态R_0代数,它是R_0代数的一般化.给出了一些非平凡态R_0代数的例子并讨论了态R_0代数的一些基本性质.在此基础上给出了态滤子和态局部R_0代数的概念,并利用态滤子刻画了态局部R_0代数.推广了局部R_0代数的相关理论.

模态R_0代数与模态滤子的若干性质

进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集{1}.

非全序R_0代数的存在性及其构造

通过考察非全序R0代数的序结构,给出了中点的定义,并利用中点给出R0代数的一个分划,同时证明了五元和七元非全序R0代数不存在,以及n元(n>7)非全序R0代数的存在性,并推广到无限元的情形,得到了构造可去(加)中点的非全序R0代数的两种方法.

R_0代数的Fuzzy MP滤子

引入R0代数的FuzzyMP滤子与Fuzzy素MP滤子的概念;给出R0代数的FuzzyMP滤子与Fuzzy素MP滤子的若干等价刻画,并由此得到R0代数的MP滤子与素MP滤子的一些等价刻画。

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代数中的滤子与理想

引入 R0 代数的滤子和理想 ,研究 R0 代数滤子的若干性质 ,并由之证明同余扩张定理 。

R0代数中素滤子的拓扑性质

首先讨论了R_0代数M中MP滤子、素滤子的基本性质,然后通过自然的方式在M的全体素滤子之集PF_(IL)(M)上构造拓扑,证明了PF_(IL)(M)是紧致的T_0空间.最后把PF_(IL)(M)上的拓扑限制在M的全体极大滤子之集MF_(IL)(M)上,得到MF_(IL)(M)是紧致的Hausdorff空间.

非全序R_0代数的结构

通过考察非全序R0代数的序结构,分别给出刻划可加(可去)中点的R0代数与不可加(不可去)中点的R0代数的充要条件,对R0代数的结构给出一个清晰的描述.