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

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

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

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

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

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

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

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

L-fuzzy广群与L-fuzzy BCK(BCI)-代数

引入了L－fuzzy广群、L-fuzzyBCK（BC）-代数、对合右拟群等概念，研究了它们之间的关系及其特征，得出了一系列有用的结果．

关联BCI-代数

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

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

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

BCK代数的区间值(∈,∈vq)-模糊子代数

将Zadeh提出的区间值模糊集的概念应用于BCK代数,提出BCK代数的区间值(∈,∈vq)模糊子代数的概念并研究其性质。给出了区间值模糊集成为区间值(∈,∈vq)模糊子代数的充要条件;讨论了区间值(∈,∈vq)模糊子代数与子代数以及(∈,∈vq)模糊子代数间的关系;定义了区间值模糊集的象与原象,获得了区间值(∈,∈vq)模糊子代数的象与原象成为区间值(∈,∈vq)模糊子代数的条件。

局部有限的BCI-代数

本文引入了局部有限的BCI-代数和局部有限的BCK-代数,并对其性质进行了一些研究同时给出了局部有限的BCI-(BCK-)代数上的正则实函数群。

(α,β)-软BCK代数

将软集的参数集赋予BCK代数的代数结构,给出了(α,β)-软BCK代数的概念,并验证了得到的(α,β)-软BCK代数是交软BCK代数和α-交软BCK代数的非平凡推广;得到了两个(α,β)-软BCK代数在软集的交、并、且等运算下仍然是(α,β)-软BCK代数的结论,并讨论了(α,β)-软BCK代数的同态像和原像的性质;最后运用对偶软集的方法给出了(α,β)-软BCK代数的等价刻画。

关于BCI-代数的一些半群

讨论了BCI一代数的伴随摹群与伴随半群之间的关系，证明了在p-半单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—代数的“拟—广结合并”方法。

BCK和BCI—代数的映射

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

关于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－代数中的Hamilton问题

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

右对合广群中L-Fuzzy子广群与L-FuzzyBCI-型理想

在右对合广群中引入L-Fuzzy子广群与L-FuzzyBCI-型理想,推广了一系列BCK(BCI)-代数中的L-Fuzzy子代数与L-FuzzyBCI-型理想的有关性质.

关于BCI代数的几个问题

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

关于MV-代数的等价公理系

本文通过对合交换半群概念的引入 ,对MV -代数建立了几组等价公理系 ,对原有的公理系进行了较好的简化。