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

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

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

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

弱Boole代数与具有条件(S)的关联BCK-代数

证明了具有条件(S)的关联BCK-代数(X;*,)о等价于弱Boole代数(X;∧,,о*)。

n级交换BCK—代数

本文引进n级交换BCK—代数的概念,它是交换BCK—代数概念的推广,讨论了它与几种特殊类型的BCK—代数之间的关系,证明当n≥2时,n级交换BCK—代数类不构成一个簇。

粗糙集的BCK-代数

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(<下近似集,上近似集>)表示入手,通过定义偶序对性质的基本运算,从而构造出相应粗代数,并寻找能抽象表示偶序对的性质的一般代数结构.其中最有影响的粗代数分别是粗双stone代数、近似空间代数和粗Nelson代数.文章讨论了近似空间中粗糙集的代数性质,通过所给的粗糙并、交、补的定义,定义了粗糙集的全体所组的集合B的一个二元运算*.并证明B是一个蕴涵的BCK-代数.

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

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

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

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

关于BCI(BCK)—代数不动点的若干性质

在[1]中作者提出了BCK—代数中不动点的概念,成功地解决了有限单BCK—代数的结构问题。本文将这一概念推广到BCI—代数上,讨论了BCI(BCK)—数中不动点的性质特征,推广了[1]中的结果,得到了用不动点刻划BCI(BCK)—代数的若干结果。