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

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

BCI代数上的反模糊软理想和模糊软理想

Molodtsov引入的软集理论,可作为通用的数学工具去处理不确定性问题。给出了BCI代数上的反模糊软理想的概念,对它们的并、交和AND的性质进行了研究,定义了BCI代数上的模糊软理想间的模糊软同态和模糊软同构,给出了BCI代数上的模糊软理想的同构像定理和同态逆像定理。

Q-型伪BCI代数和2-型伪q滤子(英文)

作为拟结合BCI-代数的推广,提出了Q-型伪BCI代数的概念.研究了伪BCK代数,T-型伪BCI代数和Q-型伪BCI代数之间的关系.引入2-型伪q滤子的概念,研究了T-型伪BCI滤子和2-型伪q滤子之间的关系,证明了以下结论:每一个Q-型伪BCI代数的滤子都是2-型伪q滤子.

零型BCI代数

零型ＢＣＩ代数朱荣坤（集美大学师范学院，厦门３６１０２１）中图法分类号Ｏ１５本文中的（Ｘ，＊，０）都是指ＢＣＩ代数。记定义如果Ｘ＝Ｏ＊Ｘ，则称Ｘ是零型ＢＣＩ代数。显然，当且仅当命题１零型ＢＣＫ代数等于｛０｝．事实上，Ｘ＝Ｏ＊Ｘ’＝Ｏ·命题２零型ＢＣＩ...

诣零BCI代数的构造(英文)

证明了一个分支Ａ（ｅ）一旦有一个元素属于Ｎｋ（Ｘ）＝∪ｅ∈ＥｋＡ（ｅ）或Ｎ（Ｘ）＝∪ｅ∈ＥｆＡ（ｅ），那么这个分支Ａ（ｅ）以及它的相伴分支Ａ（０＊ｅ）都将整个地被包含于Ｎｋ（Ｘ）或Ｎ（Ｘ）。

关于BCI代数的几个问题

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

BCI代数的Ω -犹豫模糊P理想

给定一个集合Ω,在BCI代数中引入Ω-犹豫模糊P理想的概念,讨论它的一些性质,研究了Ω-犹豫模糊P理想的同态像与同态原像的性质;研究了BCI代数中的Ω-犹豫模糊P理想与犹豫模糊P理想的相互构造,通过Ω-犹豫模糊P理想的水平P理想,讨论了BCI代数中Ω-犹豫模糊P理想的刻画;研究了Ω-犹豫模糊P理想与乘积型BCI代数的Ω-犹豫模糊P理想的关系.

几类特殊的BCI代数

本文给出具有散子代数的ＢＣＩ代数的条件，讨论了Ｌ（Ｘ）为Ｘ的理想的ＢＣＩ代数，完全刻划了每个子代数都是理想的ＢＣＩ代数。

关联BCI-代数

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

BCI－代数的一点真扩张

讨论了从ＢＣＩ－代数到真ＢＣＨ－代数的一点扩张问题，给出了若干个ＢＣＩ－代数的一点真扩张定理．

半单优BCI－代数的长度定理

继续对［１］的研究，得到了半单优ＢＣＩ－代数的替换定理和长度定理．

从正规BCI-代数到非正规BCI-代数的扩充

给出了一个从正规BCI-代数到非正规BCI-代数的扩充。

关于∧结合BCI-代数的性质和结构

本文研究了∧结合BCI—代数的重要性质,并讨论了这种代数的结构。

BCI—代数的T—理想

本文引入BCI—代数的T—理想概念,利用这个新理想,给出T型BCI—代教(或拟结合BCI—代数)的特征性质。主要结果是:BCI—代数X是T型的(或拟结合的)当且仅当X的每个理想是T—理想;BCI—代数X的理想A决定的商代数X/A是T型BCI—代数(或拟结合 BCI—代数)当且仅当A是X的T—理想。

W-BCI-代数的若干性质

给出了W -BCI代数的概念 ,并讨论了它们的相关性质及等价条件。

诣零BCI－代数p－半单部分的特征

讨论了诣零ＢＣＩ－代数ｐ－半单部分ＳＰ（Ｘ）的元素特征，给出诣零ＢＣＩ－代数中ＳＰ（Ｘ）成为理想的两个充要条件，即在诣零代数Ｘ＝Ｎｋ（Ｘ）中，ＳＰ（Ｘ）成为理想当且仅当以下条件之一成立：（ｉ）ｘ∈Ｘ，ｕ∈ＳＰ（Ｘ），若ｘ＊ｕｋ＝０，则ｘ＝０；（ｉ）ｘ∈Ｐ（Ｘ），ｕ∈ＳＰ（Ｘ），若ｘ＊ｕｋ＝０，则ｘ＝０．

软结合BCI代数

将Molodtsov的软集理论应用到结合BCI代数中,引进了软结合BCI代数的概念,举出实例证明了软结合BCI代数的存在性,讨论了软结合BCI代数和软BCI代数之问的关系,研究了软结合BCI代数的扩展交、限制交、限制并、限制差、限制乘积等运算性质.最后,研究了软结合BCI代数的结构性质.

正定关联BCI—代数

本文是作者［１］和［２］的继续，引入了正定关联ＢＣＩ－代数的概念，并证明了：正定关联ＧＢＣＫ－代数类和Ｐ－半单ＢＣＩ－代数类是正定关联ＢＣＩ－代数类的真子类。

广义a-结合BCI-代数

引入了广义ａ－结合ＢＣＩ－代数的概念，研究了ＢＣＩ－代数的ｐ－半单部分与广义ａ－结合部分的关系．并将ｐ－半单ＢＣＩ－代数的若干重要性质推广到广义ａ－结合ＢＣＩ－代数上．最后我们证明了每个广义ａ－结合ＢＣＩ－代数可确定一个交换偏序幺半群．本文结果表明文［１］的正则ＢＣＩ－代数与ｐ－半单ＢＣＩ－代数是一致的．

BCI－代数中的Hamilton问题

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