局部R0-代数

文提出了局部R₀-代数的概念,并给出了相应的等价条件,即(i)R₀-代数L是局部的,(ii) ?x∈L,ord(x)<∞或ord(-x)<∞,(iii)每一个真滤子是primary.另外,我们又证明了任一R₀-代数是局部R₀-代数的子直积.     

模糊逻辑代数的Loomis—Sikorski表现定理

通过研究MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的Loomis-Sikorski表现定理.     

∧~*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。     

L*系统的公理化扩张

通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性.     

关于R0-代数的公理系统

该文给出了R0-代数的一些简化公理系统,并证明了R0-代数等价于满足某些条件的BCK-代数.     

R_0代数的根及其结构特征

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

R_0代数的∨-半格蕴涵表示形式及其简化

通过探究R0代数公理条件的内在联系,给出了R0代数的∨-半格蕴涵表示形式。同时借助L*系统中公理和R0代数条件的对应关系,进一步简化了R0代数的∨-半格蕴涵表示形式,使之在定义上更加符合逻辑代数的特征。     

R0-代数的格蕴涵表示定理

通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。     

16种基础R0-代数结构的相对独立公理系统

在对R0-代数和基础R0-代数结构研究的基础上,讨论了基础R0-代数结构与并(交)半格及有界并(交)半格上的等价性命题系统,进而证明了16种基础R0-代数公理系统的相对独立性,同时指出了相应R0-代数结构的公理系统的相对独立性.     

R0-代数滤子的粗糙性

把粗糙集理论应用于R0-代数,引入了R0-代数的上、下粗糙滤子的概念,并讨论了R0-代数的粗糙滤子的相关性质.     

R0-代数（NM-代数）的区间值模糊子代数

将区间值模糊集的概念应用于R0-代数,引入区间值模糊R0-子代数的概念并研究它的性质。给出了区间值模糊集成为区间值模糊R0-子代数的一个充要条件;讨论了区间值模糊R0-子代数和R0-子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊R0-子代数的象和原象成为区间值模糊R0-子代数的条件。     

Boolean products of R0‐algebras

In this paper, the (weak) Boolean representation of R₀‐algebras are investigated. In particular, we show that directly indecomposable R₀‐algebras are equivalent to local R₀‐algebras and any nontrivial R₀‐algebra is representable as a weak Boolean product of local R₀‐algebras (© 2010 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

R0代数中的滤子与理想

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

R0-代数的子直积不可约表示定理

借助于素理想族,刻画了R0-代数的不可约表示定理,即证明了R0-代数M有不可约表示当且仅当存在φP,使得∩=φ{0}并且[M]φ是原子的,这里P是R0-代数M的全体素理想之集。     

R0-代数中的stone表现定理

借助于分配格中Stone表现定理证明的方法，证明R0-代数的Stone空间同胚于某些特殊分配格的Stone空间。就分离性而言，我们不可能达到T1．     

R0-代数中一种混合运算的性质及L*系统的完备性

研究了王国俊教授建立的模糊命题演算的形式演绎系统L*及与之在语义上相关的R0-代数,讨论了R0-代数中混合运算():a()b= (a→()b)的性质,并以此为工具利用Petr Hajek证明Lukasiewicz模糊命题演算系统关于语义ΩL完备性的方法证明了L*系统关于语义ΩW的完备性.     

R_0代数及其基本结构

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