WBR0-代数的Fuzzy蕴涵理想

通过在WBR₀-代数上引入Fuzzy蕴涵理想的概念, 讨论Fuzzy蕴涵理想的基本性质, 得到了Fuzzy蕴涵理想的几种等价刻画. 通过定义Fuzzy同余关系, 建立Fuzzy蕴涵理想和Fuzzy同余之间的关系, 并利用Fuzzy蕴涵理想诱导了商代数, 得到了WBR₀-代数的同态基本定理.     

粗糙集代数与R0-代数

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

R0代数中的蕴涵滤子与同余关系

最近,王国俊教授建立了Ｒ０代数理论,为模糊逻辑提供了一种新的代数结构＾「１」。本文在Ｒ０代数中引入蕴涵滤子及同余关系的概念,并且讨论蕴涵滤子与通常代数滤子的关系,还给出了蕴涵滤子和同余关系的若干重要性质。     

BR0-代数定义的简化形式

作者对基础R0-代数进行了研究,从定义的形式上对BR0-代数进行了简化,使之更加符合逻辑代数的基本特征,进一步体现了BR0-代数与其它逻辑代数之间的关系.     

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

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

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

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

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

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

软代数的素理想与同余关系的注记

讨论了非分配软代数F的素理想表示同余关系的问题，指出非分配软代数F的同余关系θ可素理想表示的充要条件是F／θ是软代数，以Con(F)表示F的同余关系格，PCon(F)表示F的全体可由素理想表示的同余关系，证明了按照Con(F)中偏序关系，PCon(F)构成Con(F)的一个子格，并且PCon(F)可嵌入于F的全体素理想集Z（F）的对偶幂集格^↑P（Z（F））中。     

双Stone代数的理想与同余理想

在给出双Stone代数的理想的基础上,给出了双Stone代数的同余理想.     

BCI—代数的理想和同余

本文首先证明了BCI—代数的理想分解定理,然后研究了BCl—代数的几种同余之间的关系和特征。     

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

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

BR_0-分配性及其推广

在BR0-代数结构中,BR0-分配性a→b∨c=（a→b）∨（a→c）具有十分重要的地位。本文证明了具有BR0-分配性的剩余格同样具备十分良好的性质。首先将BR0-分配性引入到剩余格中,并给出了BR0-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR0-第一无限分配性和BR0-第二无限分配性。最后,分别在正则完备剩余格,单位区间[0,1]中讨论了两种BR0-无限分配性的关系及性质。     

BR0-分配性及其推广

在BR₀- 代数结构中,_BR0-分配性a→b∨c=(a→b)∨(a→c)具有十分重要的地位。本文证明了具有BR₀-分配性的剩余格同样具备十分良好的性质。首先将BR₀-分配性引入到剩余格中,并给出了BR₀-分配性的等价形式。其次,在完备剩余格中将BR0-分配性进行了推广,提出了BR₀-第一无限分配性和BR₀-第二无限分配性。最后,分别在正则完备剩余格,单位区间［0,1］中讨论了两种BR₀-无限分配性的关系及性质。     

可交换弱R0代数

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

R0代数中的真布尔元

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

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

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

Proof of inseparable prime C~*-algebras A with RR(A) = 0 being orimitive C~*-algebras

First, that prime C~* -algebras with countable primitive ideals are all primitive C~*-algebras is proved. Then the proof that prime C~* -algebras with property RR(A) = 0 are all primitive C~*-algebras is given.     

关于形式系统L*及R0-代数的若干结果

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