平衡伪补Ockham代数的滤子及其同余关系

一个平衡伪补Ockham代数是代数(L;∨,∧,f,*,0,1),其中(L;f)是Ockham代数,(L;*)是伪补p-代数,且一元运算f和*满足条件(x∈L)f(x*)=x**及[f(x)]*=f2(x)。描述了平衡伪补Ockham代数L的滤子及其同余关系的性质,证明了L的*-滤子格与其核理想格同构。     

GB_n链的主同余性质

Ockham代数是一个代数(L;∧,∨,f,0,1),其中(L;∧,∨,0,1)是有界分配格,f是L上的偶格自同态.GBn代数是指一个Ockham代数(L;f),它满足条件:(fn(L);f)是布尔代数.它包含常见的布尔代数、de Mogan代数和Stone代数.本文研究了GBn链的代数结构,并给出一个GBn链具有主同余性质的充分与必要条件.     

具有Heyting结构的Ockham代数

引入一个具有Heyting结构Ockham代数,简称HO-代数．所谓HO-代数,是指具有（2,2,2,1,0,0）类型的代数（L;∧,∨,→,f,0,1）．其中（L;f）是Ockham代数,（L;→）是Heyting代数,且运算f和→由恒等式f（x→y）=f^2（x）∧f（y）与f（x）→y=f^2（x）∨y所连结．主要讨论了HO-代数的同余关系的性质．并刻画了其次直不可约代数的某些性质．     

平衡双重伪补Ockham代数的理想格

在平衡双重伪补Ockham代数上引入核理想的概念,构造了具有核理想的最小同余和最大同余关系,并论证了它们之间的性质以及两者之间的等式关系.最后,在核理想格KI(L)上定义伪补运算(KI(L)),I*={x|((V)i∈I)x∧i=0},将其构造为一个伪补代数.     

A subclass of Ockham algebras

Here we introduce a subclass of the class of Ockham algebras ( L ; f ) for which L satisfies the property that for every x ∈ L , there exists n ≥ 0 such that fn ( x ) and fn+1 ( x ) are complementary. We characterize the structure of the lattice of congruences on such an algebra ( L ; f ). We show that the lattice of compact congruences on L is a dual Stone lattice, and in particular, that the lattice Con L of congruences on L is boolean if and only if L is finite boolean. We also show that L is congruence coherent if and only if it is boolean. Finally, we give a sufficient and necessary condition to have the subdirectly irreducible chains.     

伪补对称扩张Ockham代数

研究peO代数类中的子类pe_(2,0)K_(1,1),即满足恒等式f~3=f和k~2=id_L的peO-代数.利用同余和代数的次直不可约,有如下的主要结果:如果L∈pe_(2,0)K_(1,1),则L是真次直不可约当且仅当Con L■{ω}[G,Φ]{ι}.这里ω和l分别表示相等关系和泛关系,Φ表示由f(x)=f(y)确定的一个同余,G表示Glivenko同余.     

PMS-代数中的正则理想

本提出伪补MS-代数(简称PMS-代数)中正则理想、正则同余关系的概念。研究正则理想与核理想、0-理想之间的关系,讨论正则同余关系的性质,得到若干结果．     

PMS-代数中的正则理想

本文提出伪补 Ｍ Ｓ 代数（简称 Ｐ Ｍ Ｓ 代数）中正则理想、正则同余关系的概念,研究正则理想与核理想、０ 理想之间的关系,讨论正则同余关系的性质,得到若干结果     

弱射影与De Morgan代数的同余关系

本文借助弱射影和弱透视的概念刻划了Ｄｅ Ｍｏｒｇａｎ代数的同余关系,由此得到了Ｋａｌｍａｎ关于Ｄｅ Ｍｏｒｇａｎ代数次直不可约定理的一个新的证明并证明了一个完全分配的Ｄｅ Ｍｏｒｇａｎ代数的同余理想与同余关系一一对应的充要条件是Ｌ为弱可补的。     

集对代数软代数的集对表示

指出文[1]中的软代数表示定理（定理2．2）的错误,给出修改后的软代数表示定理。另外,讨论了集对代数的理想、同余关系和同余理想。     

Leibniz代数上的粗糙集

把粗糙集理论方法应用到Leibniz代数上,定义了Leibniz代数上的同余关系,给出了Leibniz代数的粗糙子代数和粗糙理想等概念,研究了Leibniz代数上粗糙集在同态映射下的若干性质.     

效应代数中的模糊滤子

在效应代数中引入模糊滤子和模糊理想的概念,讨论了它们的性质;引入并研究了强模糊滤子;在全序效应代数中提出了一个模糊同余关系并证明了这样生成的同余类是一个全序格效应代数.     

布尔代数上的Fuzzy同余关系

引入了布尔代数上的Fuzzy同余关系的概念,讨论了布尔代数上的Fuzzy同余关系与布尔代数的Fuzzy理想之间的关系,给出了商布尔代数的同构定理。     

幂等扩张的有界分配格

考察了扩张的有界分配格类eD即带有自同态k的有界分配格,研究了具有幂等性的eD-代数的表示、同余关系以及次直不可约性,证明了这样的代数类有5个互不同构的次直不可约的幂等扩张的有界分配格。     

结合代数上的粗糙集

在结合代数上引入粗糙集的理论,给出了结合代数上基于理想的同余关系,研究了结合代数的子空间上下近似的若干粗糙集性质。     

L-Fuzzy子半群的L-Fuzzy同余关系

给出了L-fuzzy子半群的L-Fuzzy等价关系和L-Fuzzy同余关系的概念,并讨论了它的一些性质。     

具有逆断面的正则半群的同余的表示

具有道断面S°的正则半群可表示为有Saito's结构的半群W（I，S°，Λ，*，α，β）.我们利用由I，S°和Λ上的同余构成的所谓同余聚抽象地表示这类半群上的同余，进而给出了这类半群的同态象的构造法．     

关于Z-蕴涵代数

基于N-半单代数和格蕴涵代数、FI-代数, Wajsberg-代数、BCK-代数、BCI-代数、BCC-代数及MV- 代数等的关系[9],本文中,我们引入了Z-蕴涵代数的概念, 并讨论了它们的某些性质.     

蕴涵代数与BCK代数

系统研究 Fuzzy蕴涵代数与 BCK代数之间的关系 ,给出 MV代数与 BCK代数之间的联系 ,建立正则 FI代数和对合 BCK代数的对偶代数