BCK/BCI-代数的广义交软理想

为了进一步研究交软BCK/BCI-理想的性质,通过在交软BCK/BCI-理想的概念中引入一个参数α,从而给出了α-交软BCK/BCI-理想的定义,并在一定程度上推广了交软BCK/BCI-理想的概念。给出了α-交软BCK/BCI-理想的刻画方法和性质。讨论了α-交软BCK/BCI-理想在同态下像和逆像性质。

基础R_0-代数与BCI/BCK-代数的关系(Ⅱ)

在探讨基础R0-代数与BCI/BCK-代数间相互联系的基础上,比较了基础R0-代数的素滤子与BCI/BCK-代数的真理想间的区别与联系,并对基础R0-代数的商代数与BCI/BCK-代数的商代数作了进一步研究,给出两种模糊逻辑代数结构的内在联系与区别.

BCK/BCI代数若干理论综述(Ⅰ)

综述BCK/BCI代数在逻辑代数中的地位与意义,回顾所知国内外学者在该领域的一些主要工作,介绍了BCK/BCI代数理论中的一些概念、术语和成果,篇末罗列较丰富的参考文献,期望对年轻的学者有所帮助。

基础R_0-代数与BCI/BCK-代数的关系(Ⅰ)

讨论了基础模糊命题演算形式演绎系统L*相匹配的基础R0-代数与一类重要的BCI/BCK-代数间的相互关系,给出它们之间的等价性定理.分析了基础R0-代数与一类重要的BCI/BCK-代数间的区别与联系,得到一些十分有趣的性质.

BCK/BCI-代数的(∈,∈∨q)-模糊软理想

在BCK/BCI-代数中引入(∈,∈∨q)-模糊软理想的概念,研究并获得了若干代数性质.定义了BCK/BCI-代数的模糊软同态和模糊软同构的概念,证明了(∈,∈∨q)-模糊软理想的模糊软同构(态)像(原像)仍为(∈,∈∨q)-模糊软理想这一结论.

BCK和BCI—代数的映射

在ＢＣＫ－代数中引进了一个右映射和ＢＣＩ－代数中引进了一个弱左映射，并探讨它们的性质。从而推广了文［１］中大部分结果。主要结果是：如果Ｘ是一个ＢＣＫ－代数，Ｙ是一个正定关联ＢＣＫ－代数，则所有Ｘ到Ｙ的左映射的集合也构成一个正定关联ＢＣＫ－代数。

BCI-代数与BCK-代数的粘合(Ⅱ)(英文)

在“BCI-代数与 BCK-代数的粘合 ( )”一文中构造了 BCI-代数范畴中一种自然的方法 ,使得任一 BCI-代数与 BCK-代数能以此法粘合 .先前许多作者定义的粘合是这种构造的特殊情况 .这里说明这种构造保留两个代数的许多性质 ,并导出同构的粘合 。

BCIBCI-代数与 BCK-代数的粘合(Ⅰ)(英文)

构造了 BCI-代数范畴中一种自然的粘合 ,先前许多作者定义的粘合是这种构造的特殊情况 ,这种构造的自然性表现在 :任一 BCI-代数与 BCK-代数能以此法粘合 ;导出同态的粘合 ;

n维BCI/BCK-代数与广义中智四重BCI/BCK-代数

引入n维BCI-代数及广义中智四重BCI-代数等新概念,研究它们的基本性质,证明了以下结果:由任意n个BCI-代数(或BCK-代数)可生成一簇同构的n维BCI-代数(或n维BCK-代数),由任意n个广义结合BCI-代数可生成一簇同构的n维广义结合BCI-代数,由任意n个正关联BCK-代数(或可换、关联BCK-代数)可生成一簇同构的n维正关联BCK-代数(或n维可换、关联BCK-代数);同源可生成的4维BCI/BCK-代数与中智四重BCI/BCK-代数范畴等价,可生成的4维BCI/BCK-代数与广义中智四重BCI/BCK-代数范畴等价。

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

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

BCK和BCI—代数的左映射与弱左映射

在BCK—代数中引进左映射和在BCI—代数中引进弱左映射,并探讨它们的性质。主要结果是:如果X是BCK—代数,Y是正定关联BCK—代数,则所有X到Y的左映射的集合也构成正定关联BCI—代数;如果X是BCI—代数,Y是弱正定关联BCI—代数,则所有X到Y的弱左映射的集合也构成弱正定关联BCI—代数。这推广了文(1)与(2)的结果。

关联BCI-代数

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

BCI－代数中的Hamilton问题

本文刻划了ＢＣＫ一代数与ＢＣＩ一代数中的Ｈａｍｉｌｔｏｎ问题．

有条件(S)真BCI代数的若干性质

用BCK-代数扩张的方法研究了有条件(S)的BC I-代数的序关系,给出了:(1)有限BCK-代数B有条件(S)它的Isek i扩张是有条件(S);(2)设I是真BC I-代数,B是I的BCK-部分,且B有限,E是I的P-半单部分,如果I=B∪LE且B作为BCK-代数有条件(S),则I也具有条件(S).

关于BCI-代数的两点注记

用反例指明"BCI-代数〈X;*,0〉的非空子集I是一个理想当且仅当 x,y∈I,A(x,y)={x∈X:z*x≤y}∈I",其充分性是不成立的。此外,指出记号x*ny和xn*y的2种记法不等价的。

单纯BCI-代数的结构

本文建立了周期BCK-代数的概念,从而把姜豪^([1])的有限单BCK-代数结构定理推广到无限的情形,而且我们的证明本身也简化了文[1]中有限单BCK-代数结构定理的原证,此外,我们还建立了单纯真BCI-代数的一个结构定理,因而完整地解决了单纯BCI-代数的结构问题。

阶n≤5有条件(S)的真BCI-代数结构

通过研究有条件(S)的有限BCI-代数结构,给出了有条件(S)的一些充分条件与必要条件.在此基础上,找出了所有阶n≤5的有条件(S)的真BCI-代数,并将阶n≤5的真BCI-代数按照有条件(S)列成一个表,以方便查阅.

关于BCI代数的几个问题

本文讨论了三个问题：首先分别证明了ＢＣＨ代数的公理系统是相互独立的，而ＢＣＩ代数的公理系统则不是相互独立的；其次举例说明，存在ＢＣＨ代数〈Ｘ，＊，０〉，而（Ｘ，Ｓ）不是偏序集；最后证明不存在阶数有限的极不ＢＣＩ的ＢＣＨ代数．

关于(i,j;m,n)型拟可换BCK-代数的“一点扩张”

证明了BCK 代数通过“一点扩张”可生成真BCI 代数 ,(i,j;m ,n)型拟可换BCK 代数通过“一点扩张”可生成真BCI 代数并保持同型拟可换性 .给出了实现“一点扩张”应满足的条件 .

BCI—域的分类定理

引入了ＢＣＩ—域的概念，并主要证明了：ＢＣＩ—域仅有广义结合ＢＣＩ—域（域的一种减法刻划）和ＢＣＫ—域两种类型。