赋范BCK-代数(英文)

引入了BCK-代数的范数与距离的概念,给出了赋范BCK-代数的一些基本性质,证明了赋范BCK-代数的同构(同态)像和原像仍是赋范BCK-代数,研究了BCK-代数与BCK-代数笛卡儿之间的赋范性质关系.并且引入了赋范BCK-代数的点列极限概念,研究了极限的相关性质.讨论了有界赋范BCK-代数的与模糊BCK-代数的关系.     

一类有限BCK—代数的序结构

我们在本文中引进了BCK-代数的主子代数的概念并证明了关于子代数格的若干结果。作为应用我们给出了n阶n-2型BCK-代数的序结构的特征。     

BCK-代数的模糊代数理想

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

关于BCK-代数的模糊理想和超积

通过使用超滤子的概念以及所讨论的模糊理想的相应性质,提出了超积BCK-代数和BCK-代数模糊子集的模糊超积.     

元素个数不超过6的真伪BCK-代数

研究元素个数不超过6的真伪BCK-代数的计数问题.首先,证明了在元素个数不超过3的偏序集上不存在真伪BCK-代数.其次,引入NP-型偏序集(不存在真伪BCK-代数的含重大元的偏序集)、偏序集的层、次余原子等概念,证明了在一个层数n≤3的NP-型偏序集上添加孤立余原子(或孤立次余原子或上邻元的个数n≥3的极小次余原子)后得到的偏序集也是NP-型偏序集,由此得到26种NP-型偏序集(元素个数n≤6).最后,借助Matlab软件编程计算得出所有非同构的元素个数不超过6的真伪BCK-代数,其中元素个数为4的真伪BCK-代数2个,元素个数为5的真伪BCK-代数34个,元素个数为6的真伪BCK-代数631个.     

软BCK-代数的模糊理想

将模糊集理论应用到软BCK-代数中,引入了软BCK-代数的模糊理想,并获得了它的基本性质。然后,讨论了BCK-代数的模糊理想在同态下的像和逆像的性质。最后,通过软同态概念的引入,给出了软BCK-代数的模糊同构定理。     

BCK—代数的可换理想

本文是作者[1],[2]和[3]的继续,引入了可换理想的概念,并讨论它的重要性质,特别是用可换理想刻划了可换BCK-代数,从而建立了BCK-代数的一套较完备的理想理论。 1976年K.Ise’ki和S.Tanaka引入了正定关联理想概念,借此刻划了正定关联BCK-代数;1984年,我们引入关联理想概念,借此刻划了关联BCK-代数。如所周知,正定关联BCK-代数、关联BCK-代数和可换BCK-代数是BCK-代数的三个重要类型。既然前两类代数都已用理想所刻划,那么可换BCK-代数能否用理想刻划?这里首先遇到的困难是如何定义可换理想,并使它带有更多的信息。     

关联BCI—代数

一个BCK-代数叫做关联的,如果它满足 (1).x*(y*x)=x K.Is’eki[2]证明了满足(1)的BCI-代数是一个BCK-代数。于是为了引入关联BCI-代数概念,先给出关联BCK-代数的等价条件。本文将不加说明地引用[1]中的记号和结论。     

关于Z-蕴涵代数

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

（∈,∈∨q）-模糊BCK-滤子

在BCK-代数中引入（∈,∈∨q）-模糊BCK-滤子的概念,讨论了它的某些性质.特别是,分别利用水平集和∈∨q-水平集给出了∈∨q-模糊BCK-滤子的若干特征.     

BCK-代数的L-fuzzy理想

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

群逆伪BCI-代数与群逆滤子(英文)

伪BCK-代数是非可换模糊逻辑(蕴涵片段)的基本代数框架,伪BCI-代数是伪BCK-代数的推广,本文研究伪BCI-代数的结构。首先,借助BZ-代数(又称弱BCC-代数)给出伪BCI-代数的一个特征性质;其次,通过引入群逆伪BCI-代数的概念,研究了伪BCI-代数与(非可换)群之间的关系;接着,引入群逆滤子、优滤子和正规滤子的概念,并通过它们给出伪BCI-代数成为群逆伪BCI-代数(以及滤子成为p-滤子)的充要条件;最后,证明了如下结论:(1)平均伪BCI-代数等价于p-半单BCI-代数;(2)伪BCI-代数的每一个滤子是p-滤子,当且仅当它是群逆的且其伴随群的每一个子群是正规子群。     

关于单BCI—代数的一些结果

本文讨论了单BCI-代数。证明了一个BCI-代数是单的当且仅当它的子代数都是单的；给出了单p-半单BCI-代数的一种表示式；证明了一个p-半单BCI-代数是单的当且仅当它的阶是素数；这样得到了一批（无限多个）单BCI-代数；证明了商BCK-代数X/A是单的当且仅当A是X的极大理想。     

BCK-代数的(∈,∈) ((∈,∈∨ q),(∈-,(∈- ∨(q-))-模糊蕴涵理想

应用模糊点和模糊集间的关系,给出BCK-代数(∈,∈)((∈,∈∨q),(∈-),(∈- ∨(q-))-模糊蕴涵理想的定义,描述了BCK-代数的(∈,∈)-模糊蕴涵理想与模糊理想,模糊子代数间的关系,研究了BCK-代数的模糊子集为(∈,∈)((∈,∈∨q),((∈-,(∈- ∨(q-))-模糊蕴涵理想的充要条件.     

关于模糊质BCK-滤子

建立了模糊质 BCK-滤子定理 :设 X是一个有界可换 BCK-代数 ,F是 X的一个真模糊 BCK-滤子 ,并且 f ( 1 )是 X的一个∨ -封闭的模糊集 .如果 F≤ f且 M={μ∈ FF(X) |F≤μ≤f}则 M包含一个关于≤的极大元 P满足 (1 ) P是一个质模糊 BCK-滤子 ,(2 ) F≤ P≤f .     

BCK-代数的极小理想与次极小理想

在BCK-代数中,引入了极小理想与次极小理想的概念,研究了极小与次极小理想的若干性质,它们同文[5]、文[6]中的有关概念与结果是对偶的.     

关于R0-代数的公理系统

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

伪BCI-代数的导出半群与T-部分（英文）

伪BCI-代数是一类非经典逻辑代数,它是伪BCK-代数的推广,而伪BCK-代数与各种非可换模糊逻辑代数有密切关系。本文从任意伪BCI-代数出发,构造了两种加法运算,进而得到两个导出半群。同时,本文引入强伪BCI-代数、伪BCI-代数的T-部分等概念,给出伪BCI-代数的T-部分成为伪BCI-滤子的一些等价条件。     

BCK-代数中子集的次极大理想

在BCK-代数中引入子集的次极大理想的概念,研究了它的基本特性,将极大理想和次极大理想的某些结果进行了推广.     

自反BCK－代数

本文在ＢＣＫ－代数中引进稳定子的概念，并定义一类特殊的ＢＣＫ－代数─自反ＢＣＫ－代数，证明自反ＢＣＫ－代数的概念与半单ＢＣＫ－代数的概念是一致的，同时对于有限ＢＣＫ－代数还得到它是自反的一个充要条件。