R0-代数的R0-语义集上的拓扑

以Ω_M记R₀-代数M到R0-单位区间的全体赋值之集. 证明一个同构于一族全序的至多可数的R₀-代数的直积的子R₀-代数M是赋值决定序的， 即x≤y当且仅当v∈Ω_M， v(x)≤v(y). 然后通过一种自然的方式在Ω_M上引入Fuzzy拓扑δ，研究拓扑δ及其相应的截拓扑的性质. 建立R₀-代数的Fuzzy拓扑表现定理和Loomis-Sikorski定理.     

R_0-代数的Fuzzy拓扑表现定理

以ΩF记为(﹁,∨,→)型代数F到R0单位区间的全体赋值之集.证明了(﹁,∨,→)型代数F的商代数F=F/≈是正则R0代数,以及R0代数的Fuzzy拓扑表现定理,并对相关问题进行了讨论.     

R0代数上的一致拓扑空间

 利用MP滤子F在R0代数M上诱导一致拓扑JF,得出了(M,JF)是不连通的、零维的、局部紧的、完全正则的第一可数空间, (M,JF)是T0空间当且仅当F=｛1｝。 证明了R0代数M中的运算′, ∨与→在(M,JF)中均连续。 最后, 讨论了商代数中一致拓扑的性质。     

R_0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间（M,TM）,给出了导集、闭包以及内部的计算公式。证明了（M,TM）是连通的、覆盖紧的且满足第一可数性公理;（M,TM）满足第二可数性公理当且仅当主滤子之集是可数集,（M,TM）不是T1的,不是T2的,也不是正则的或正规的;（M,TM）是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

R0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

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

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

(W-)的正则子R0-代数及其应用

引入了W^-的正则子R0代数的概念，证明了这种代数在W^-中关于势是均匀分布的．又证明了当判定一个逻辑公式是否为W^-中的a-重言式时，可以用W^-的任一正则R0-代数去替代W^-作判断，特别是可以用具有简单结构的正则子R0-代数W0去作判断，这里W0仅有一个聚点0．5，并且在一定意义下是“收缩不变”的。     

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

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

关于BR0-代数的一些新性质

基于R0-代数（BR0-代数）对于模糊命题逻辑系统L＊（BL＊）的语义的重要性,对R0-代数和BR0-代数作更进一步的探讨,得到了它们的一些新的性质以及BR0-代数成为R0-代数的充分必要条件．这些结果将有助于对相应的形式逻辑系统与模糊推理的研究．     

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

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

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

进一步研究了模态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}.     

关于形式系统Y^＊及R0-代数的若干结果

研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质，得到形式系统Y^*的两个更简捷的等价系统，证明了R0-代数的对偶代数是有界逆序对合BCK-代数，并给出关于R0-代数的一个重要反例，说明了R0-代数中V与→是各自独立的．     

6元非链的R0-代数的构造

证明了非链的有限R0-代数至少含有两个不同的对偶原子;在同构的意义下,非链的6元R0-代数有且仅有一个,并具体给出了它的构造,即一个2值的和一个3值的Lukas iew icz蕴涵代数的直积.     

R0代数的一种新型商代数

目的在R0代数中构造一种新型商代数。方法利用素滤子在R0代数中定义等价关系,得到R0代数的商代数。结果这种商代数是有界分配格。结论这种商代数成为R0代数的充分条件是对其中任意的a都有■a∨a=1。     

R0-代数的理想与其定义的简化

为了建立R0-代数的理想和同余之间的关系和简化它的原始定义，首先给出了R0-代数的若干基本性质，然后证明了R0-代数的理想之集与R0-代数上的同余关系之间，以及R0-代数的特殊理想之集与商R0-代数的理想之集之间分别存在一一对应关系．结果表明，R0-代数的原始定义中的逆序对合对应与分配性是不独立的，从而简化了R0-代数的定义．     

L^＊-Lindenbaum代数的Fuzzy表示定理

讨论了L^*-Lindenbaum代数在R0蕴涵下的Fuzzy表示定理，即M是L^*-Lindenbaum代数当且仅当M同构于某一R0方体上的若干Fuzzy集关于包含序所成的格。     

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

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

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

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

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

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

R_0代数中素理想的拓扑性质

讨论了R0代数中理想、素理想的基本性质,在R0代数M的全体理想集I(M)上定义了格运算,证明了如此定义的格是有界分配格.在M的全体素理想之集PI(M)上构造了拓扑,证明了PI(M)是紧致的T0空间.