区间集上R0-代数的表示形式及其性质

研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性,最后给出了区间集上R0-代数的两组有趣性质.     

区间集上R0-代数的表示形式及其性质

研究了与区间集理论相关的偏序关系和偏序集概念,详细讨论了区间集上的交、并、补、伪补、蕴涵及基本运算律,并以此为理论基础,在区间集上重新定义了R0-代数系统的表示形式,接着严格化地论证了该系统的可行性和合理性,最后给出了区间集上R0-代数的两组有趣性质.     

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

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

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

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

粗糙集代数与R_0-代数

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

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

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

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

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

格上BR_0-代数结构的表示定理

利用模糊命题演绎系统BL*中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上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}.     

基础R0-代数的一组有趣性质及其证明

在研究基础R0-代数的基础上.得到了基础R0-代数的一组有趣性质,进而给出了严格化的简洁证明.同时指出了这组性质顺序的相对性,以凸显其应用的广泛性.     

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

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

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

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

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

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

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

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

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

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

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

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

关联代数上的ξ-Lie导子

用纯代数的方法探讨了含有单位元的交换环R上的关联代数I(X, R)(其中X是局部有限预序集)上ξ-Lie导子(ξ≠0,±1)的性质,给出了ξ-Lie导子的表达形式及系数之间的关系,并证明了ξ≠1时关联代数I(X, R)上任意ξ-Lie导子(ξ≠1)是导子。     

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

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

格上BR0-代数结构的表示定理

利用模糊命题演绎系统BL＊中公理的基本特征,研究了BR0-代数结构,给出了BR0-代数结构在有界分配格上、有界格上及一般格上的不同形式的表示定理,同时指出了其相应的不同格上R-代数结构的表达形式。     

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

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