有界交换BCK-代数的L-Fuzzy代数理想

借助于L_fuzzy集的4种截集,给出了有界交换BCK_代数的L_fuzzy代数理想的几种等价刻画.

有界可换BCK-代数与MV-代数

在有界可换 BCK-代数〈X;*,0〉中定义 x′=N x,x + y =y*Nx,x× y =N ( Ny*x) ,1 MV=0 ,则 ( X,+ ,× ,′,0 MV,1 MV)是一个 MV-代数 ;而在 MV-代数 ( X,+ ,× ,′,0 MV,1 MV)中定义 x*y =x + y′,0 =1 MV,则〈X;*,0〉是一个有界可换 BCK-代数。

有界蕴涵BCK-代数中的逆对合算子

在有界蕴涵BCK-代数与Boole数是等价地代数系统的基础上,从布尔格的角度出发,研究了有界蕴涵BCK-代数的逆对合算子及其相关的一些性质。

非交换的正关联BCK-代数

本文解决了关于非交换的正关联BCK-代数的真类问题、基数问题和真子类问题。作者使用有限BCK-代数的局部分析法,确定了阶不超过5的非交换正关联BCK-代数的全部类型,讨论了C型和非C型的非交换正关联BCK-代数的有关问题。

有界可交换的Griss-代数的一个刻画

设(X,*,V,0;≤)是一个有界可交换且满足B-2的Griss-代数,(X,*,0)是一个有界可交换的Bck-代数,证明了(X,*,V,0;≤)和(X,*,0)是两个等价的代数系统。

有界BCK-代数中的正关联对偶理想

作为 K Iseki引入的正关联理想的对偶 ,引入了有界 BCK-代数中的正关联对偶理想 ,并得到了有界正关联

BCK-代数的Ω-模糊代数理想(英文)

给定一个集合Ω,引入了有界可交换的BCK-代数的Ω-模糊代数理想之概念,研究了它的一些相关性质,并给出了它几个特征,讨论了有界可交换的BCK-代数的Ω-模糊理想与Ω-模糊代数理想的关系.讨论了有界可交换的BCK-代数的模糊代数理想与Ω-模糊代数理想的相互构造.

有界关联BCK-代数与Boole代数

主要证明了有界关联BCK一代数与Boole代数是相互等价的代数系统.

关于对合BCK-代数和可交换BCK-代数的一点注记

在本文中主要给出了对合BCK-代数的一些性质,讨论了有界可交换的BCK-代数和对合BCK-代数之间的关系,最后给出了一个对合的BCK-格就是一个可分配的BCK-格的重要结论,这将对BCK-代数的进一步研究有很大帮助。

对合BCK-代数与交换可剩余半群

引入对合BCK-代数的伴随序半群和可剩余序半群的伴随BCK-代数的概念,给出了它们之间的关系和性质,由此表明了BCK-代数与序半群相互间的联系.

BCK-代数的模糊代数理想(英文)

在有界可换BCK-代数上引入了Fuzzy代数理想的概念,给出了Fuzzy代数理想的某些特征,讨论了Fuzzy理想与Fuzzy代数理想的关系。

可交换的产生式系统的状态空间图为有界格

产生式系统是人工智能系统中最典型最普遍的一种结构,而可交换的产生式系统又是产生式系统中一种非常理想的结构.将可交换的产生式系统的状态空间图抽象为一个有界格的结构,则对一类特殊的可交换的产生式系统的状态空间图抽象为布尔代数.

BCK-代数的L-fuzzy理想

给出 BCK-代数的 L- fuzzy子代数和 L- fuzzy理想等概念的等价刻画。

阶n≤5的有条件(S)的BCK-代数

本文对具有条件（Ｓ）的有限ＢＣＫ代数的结构作了较深入的研讨，给出了有条件（Ｓ）的一些充分条件与必要条件．在此基础上。

BCK-代数的L-fuzzy理想的新刻画

给出BCK-代数的L-fuzzy子代数和L-fuzzy理想等概念的新的等价刻画。

BCK-代数中的粗糙算子

在有界蕴涵BCK-代数与Boole代数是等价代数系统的基础上,从格论观点来研究了BCK-代数中的粗糙算子的代数性质。

关于GRISS-代数和BCK-代数的一点注记

对GRISS-代数的性质作了初步探讨,并给出了20多条GRISS-代数的重要性质,同时也对GRISS-代数和BCK-代数之间的关系作了研究,得出了有界可交换的BCK-代数是GRISS-代数的重要结论.

BCI-代数的Fuzzy亚交换理想

引入了BCI 代数的Fuzzy亚交换理想的概念 ,探讨了它的基本性质 ,并用以刻画商交换BCI 代数 .

有条件(DS)的BCK-代数

在本文引入条件（ＤＳ），从而证明了有界关联ＤＣＫ－代数与对合正关联ＢＣＫ－代数是一致的．

约化代数的交换子及性质(P)的刻画

本文研究约化代数的交换子。证明了性质(P)问题与超不变子空间问题的等价性,并给出了性质(P)的一个刻画;应用这个刻画,不仅可以得到前人在这方面的许多结果,而且可以得到许多新的结果,例如交换解析函数的算子根,有理循环次正常算子及具有限秩自交换子的次正常算子具性质(P)。最后,还证明了交换解析函数的控制算子根必定正常。