一类BCI—代数的理想

利用ＢＣＩ－代数的枝的若干性质，得到了ＢＣＩ－代数的ＢＣＫ－部分的子集为ＢＣＩ－代数的理想的一个定理。     

关于BCK／BCI－代数的几个等价公理系

分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数是蕴涵ＢＣＫ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”．     

有界可换BCK—代数的半群特征

讨论了ＢＣＫ－代数伴随半群中的剩余元素，给出具有条件（Ｓ）的ＢＣＫ－代数及可换ＢＣＫ－代数伴随半群的若干特征，说明具有条件（Ｓ）的可换ＢＣＫ－代数的伴随半群是上半格；有界可换ＢＣＫ－代数的伴随半群是格．     

关于BCI－代数的不动点

在ＢＣＩ－代数中引进不动点的概念，对含有不动点的ＢＣＩ－代数进行刻划，证明了具有不动点的真ＢＣＩ－代数等价子ＢＣＫ－代数的一点扩张；每个元都是不动点的ＢＣＫ－代数等价于可解ＢＣＫ－代数．     

多重正关联BCK—代数的一个刻划

证明了多重强关联ＢＣＫ－代数与多重正关联ＢＣＫ－代数是一致的，从而给出多重正关联ＢＣＫ－代数的一个刻划，并利用这个刻划讨论了多重正关联ＢＣＫ－代数的几个性质。     

关于BCI—代数的不动点

在ＢＣＩ－代数中引进不动点的概念，对含有不动点的ＢＣＩ－代数进行刻划，证明了具有不动点的真ＢＣＩ０－代数等价于ＢＣＫ－代娄物一点扩张；每个元都是不动点的ＢＣＫ－０代数等价于可解ＢＣＫ－代数。‘     

多重正关联BCK－代数

引进了多重正关联ＢＣＫ－代数，并讨论了它的一些性质，从而使正关联ＢＣＫ－代数与ｎ级正关联ＢＣＫ－代数得到真正的推广。     

多重正关联BCK—代数

引进了多重正关联ＢＣＫ－代数，并讨论了它的一些性质，从而使上正关联ＢＣＫ－代数与ｎ级正关联ＢＣＫ－代数得到真正的推广。     

关于星形BCK—代数的讨论

给出了星形ＢＣＫ－代数的若干性质．用伴随半群理论给出星形ＢＣＫ－代数的刻划，引入了伴随半群中元素长度的概念，证明了星形ＢＣＫ－代数伴随半群中元素表示的唯一性．     

非可换正定关联BCK－代数

非可换正定关联ＢＣＫ－代数白根柱（内蒙古民族师范学院数学系）我们在文［３］中证明了正定关联ＢＣＫ－代数的Ｉｓｅｋｉ扩张是正定关联ＢＣＫ－代数，本文对关联ＢＣＫ－代数的Ｉｓｅｋｉ扩张进行探讨。为便于叙述先给出几个定义￣［１，２］。定义１设Ｘ＝＜Ｘ；０＞...     

格蕴涵代数、MV-代数和有界可换的BCK-代数

本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。     

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

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

每一个具有条件(S)的BCK—代数是一个可换负偏序幺半群的剩余元集

本文证明了每一个具有条件(S)的BCK—代数诱导一个交换负偏序剩余幺半群,反之每一个交换负偏序剩余幺半群诱导一个具有条件(S)的BCK—代数。由此进一步说明每一个具有条件(S)的BCK—代数是交换负偏序幺半群的剩余元集。     

减法系统Ⅲ——各种BCY代数的等价类

在“减法系统Ⅰ”基础上,引入其它一些BCY代数并研究某些BGY代数的等价类(关于“=”),并证明了等价类的集合分别形成BCI代数、BCK代数或可换BCK代数。     

有界BCK—代数的一个简化公理系统

给出了有界BCK-代数一个新的公理系统,并证明了其中的各条公理是相互独立的.     

原子生成的BCK-代数

本文讨论了由原子(即非零极小元)生成的BCK—代数。证明了原子生成的BCK—代数的非零同态象及非零理想都是原子生成的。其次,引入了原子高的概念,进一步得到了一些关于具有基的BCK—代数的性质。特别地,我们有:具有基的有界BCK—代数是有限的,并且理想的阶整除它的阶。最后,我们还给出了具有基的BCK—代数自同构的一些性质。     

极小Urysohn L-fuzy拓扑空间及其性质

引进了极小ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间的概念．利用Ｕｒｙｓｏｈｎ理想基证明了一个Ｌ－ｆｕｚｙ拓扑空间（ＬＸ，δ）是极小Ｕｒｙｓｏｈｎ空间当且仅当（ＬＸ，δ）是ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间且ＬＸ上的每一个具有唯一聚点的Ｕｒｙｓｏｈｎ理想基收敛；极小ＵｒｙｓｏｈｎＬ－ｆｕｚｙ拓扑空间是Ｕｒｙｓｏｈｎ闭空间，而且也是Ｌ－ｆｕｚｚｙ半正则空间．最后证明了ＵｒｙｓｏｈｎＬ－ｆｕｚｚｙ极小性是拓扑不变性质．     

关于Griss代数的伴随半群

本文证明了Griss代数X作成正蕴涵且具有条件(S)的BCK一代数当且仅当X是正则的Griss代数;进一步给出了BCK一代数作成Griss代数的半群刻划.     

广义拟右交错BCI—代数及其结构

本文引入广义拟右交错BCI-代数的概念,讨论了它的基本性质。利用LX并代数的概念,证明了结构定理:拟交错BCK-代数、广义结合BCI-代数以及任意拟交错BCK-代数与任意纯广义结合BCI-代数的LX并代数都是广义拟右交错的BCI-代数;反之,广义拟右交错BCI-代数或者是拟交错BCK-代数,或者是广义结合BCI-代数或者是拟交错BCK-代数与纯广义结合BCI-代数的LX并代数。从而解决了该类代数的结构问题。     

可换BR_0代数的刻画和性质

为了得到基础R0代数(简称BR0代数)的更多表示和性质,利用蕴涵算子给出了可换BR0代数的两种形式更为简单的刻画;证明了可换BR0代数与有界可换BCK代数之间的等价性;证明了满足Heyting性质(HP条件)的可换BR0代数与正则Heyting型FI代数(即HFI代数)等价.