拟可换BCK-代数类是BCK-代数类的真子类

本文肯定地回答了胡庆平(1987)提出的“拟可换BCK-代数类是BCK-代数类的真子类吗?或存在一个BCK-代数,使得它不是拟可换的吗?”问题。并在BCI-代数上导出了相应结果。     

两类八阶BCK-代数的计数问题

主要利用BCK-代数的定义和BCK-代数的性质,把二类七阶链状BCK-代数作为子代数进行了扩张。满足运算表一的七阶链状BCK-代数扩张成的八阶链状BCK-代数共四个,满足第二类运算表的七阶链状BCK-代数扩张成八阶链状BCK-代数共有三个。     

BCK-代数根理论的若干结果

本文讨论了BCK-代数类所确定的下根结构以及根格中诸如交根、并根等问题,证明了单遗传类与遗传类所确定的下根分别是单遗传根和遗传根。     

关于可换BCK-代数的一点注记

1980年Isèki,K.提出了这样的问题:具条件(C)的BCK-代数是否可换BCK-代数?1981年PaL'asinski,M.证明了具条件(C_1)的BCK-代数是可换BCK-代数。但又说:“条件C_1弱于条件C”,从而认为解决了Isèki的问题。本文指出上述说法是错误的,并解决了Isèki的问题,还提出了另外几个新的可换BCK-代数的系统。     

拟可换BCI-(BCK-)代数的标准型

本文研究了拟可换BCK-代数和BCI-代数的标准型问题,得到一组充要条件,规范和简化了拟可换BCK-代数和BCI-代数的定义,给出了显示拟可换BCK-代数和BCI-代数结构差别的拟可换特征.     

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

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

优BCI-代数的直积

1976年K.Iséki在BCK-代数中引进了直积的概念。本文把直积的概念推广到BCI-代数中,并证明了它的泛性定理。同时,引进优BCI-代数新的类,证明了在优BCI-代数中内直积与外直积是同构的。最后,附带肯定地答复了贾兴德提出的一个未解决的问题:具有条件(S)的BCK-代数是否正则的?     

带门槛的模糊BCK-滤子

引入带门槛模糊BCK-滤子的概念,并讨论其性质。应用水平集方法,并综合有关(∈,∈∨q)模糊BCK-滤子的成果,给出了带门槛模糊BCK-滤子的定义及其等价条件,讨论了若干特殊类型的模糊BCK-滤子的相互关系。为研究模糊BCK-代数提供了一种新方法,充实了模糊BCK-滤子内容。     

L-BCK代数与L′-BCK代数的一些性质

A.Grzaslewicz为了确定BCK-代数嵌入定向可换BCK-代数的必要条件,于1980年提出了Γ-BCK代数的概念,并证明了正关联BCX-代数,定向可换BCK-代数是Γ-BCK代数(见〔1〕).我们为了寻求比正关联BCK-代数,定向可换BCK-代数更为广泛的Γ-BCK代数,在〔2〕中建立了L-BCK代数与L＇-DCK代数的概念,证明了这两种BCK-代数都是Γ-BCK代数,而正关联BCK-代数,定向可换BCK-代数都是L-BCK代数的特例.     

BCK-代数上的包含度

本文将张文修提出的包含度引入BCK-代数中,证明了一类BCK-代数的包含度的存在性,给出了BCK-代数上包含度的基本性质,刻划了BCK-代数拟紧性的特征．     

具有条件(S)的BCK-代数的分解

本文讨论了具有条件(S)的正关联BCK-代数关于。半群的分解问题,指出这种分解与一般理想分解是一致的,同时得到具有条件(S)的关联BCK-代数X的某些结构问题,如:X若有限,则|X|=2″;两个有限的具有条件(S)的关联BCK-代数同构当且仅当它们阶数相等。     

格蕴含代数与有界交换BCK-代数

证明了格蕴含代数与有界交换BCK-代数是两类等价的抽象系统,因而是范畴等价的。     

BR0-代数与BCK-代数

讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论.     

BCK-代数模糊对偶原理

对于有界可换BCK-代数建立了下述对偶原理:一个模糊子集μ是一个模糊理想(质理想,模糊同余),当且仅当它的诱导模糊子集v(定义:v(x)=μ(Nx)x∈X)是一个模糊BCK-滤子(质模糊BCK-滤子,模糊BCK-滤子同余)。     

直觉模糊BCK-代数

系统研究了作为Zadeh模糊理论重要扩展的Atanassov直觉模糊BCK-代数.首先,引入直觉模糊BCK-代数和它的水平代数的概念,讨论了它们相关性质.其次,研究了直觉模糊BCK-代数的同态与同构像和逆像的性质,获得了直觉模糊BCK-代数的同态像和逆像仍为直觉模糊BCK-代数.最后,给出了直觉模糊集上的直觉模糊关系、...     

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

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

关于BCK-代数的可解性与幂零性

本文定义了可解的BCK-代数与幂零的BCK-代数,讨论了它们的一些性质。     

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

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

关于BCI—代数和BCH—代数并代数的一些注记

我们知道,BCK-代数有并代数的概念(见[1]),但一族BCK-代数的并代数的概念不可推广到BCI-代数(见[1]).1984年李欣曾定义了一个BCK-代数和一个BCI-代数的(LX)并代数。自然我们应当考虑一般性的问题:可否(用一种统一的方法)对任意两个BCI-代数定义其并代数?我们先作下列定义:     

关于若干BCK-代数同态定理的论证

本文在BCK-代数中引进正合交换图的概念,证明了BCK-代数同志映射的核与上核的泛性定理。从而对BCK-代数同志定理的推证得到了一个新的而更一般的方法。