BCK代数的伴随代数(英文)

给出了BCK代数的一个等价公理 ,讨论了BCK代数的伴随代数     

BCK一代数伴随半群的Fuzzy序滤子的一些特征

研究了BCK一代数伴随半群的Fuzzy序滤子的一些结构特征：（1）BCK一代数X伴随半群M（X）的每一个序滤子都是某些Fuzzy序滤子的水平序滤子；（2）Fuzzy序滤子F的两个水平序滤子Ft1=Ft2（t1＜t2）的充分必要条件为，不存在σ∈M（X），使得t1≤F（σ）＜t2；（3）若F与E为有限BCK一代数X的伴随半群M（X）的Fuzzy序滤予，且F与E有相同水平序滤子集族，则F=E的充分必要条件为，Im（F）=Im（E）．     

伪BCK代数与一类量子逻辑

在文【8】中,Dvurecenskij和Kim建立了BCK代数与D-偏序集之间的联系,本文把它们的结果推广到非交换形式,给出了伪BCK代数与PD-偏序集之间的联系。     

关于BCK—代数AF（B）

本文引入了AF（B）BCK-代数，讨论了BCK-代数B与BCK-代数AF（B）之间的几个关系。     

关于蕴涵BCK—代数

本文讨论了蕴涵BCK—代数的剩余刻划．进一步证明了蕴涵BCK—代数的伴随半群是一个上半格。     

一类有限BCK—代数的计数

通过对ＢＣＫ－代数中原子性质的讨论证明了星部阶为ｎ的ｎ＋的ＢＣＫ＝代数有且只有２（ｎ－１）个。     

BCK／BCI代数若干理论综述（Ⅰ）

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

有界关联BCK-代数与Boole代数

主要证明了有界关联BCK一代数与Boole代数是相互等价的代数系统.     

BCI-代数的伴随元与BCI-代数的根性

给出了BCI-代数的伴随元与ZTR型BCI-代数的概念,证明了一个ZTR型BCI-代数是一个P-半单BCI-代数。     

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

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

有界关联BCK-代数与Boole代数

主要证明了有界关联BCK-代数与Boole代敬是相互等价的代数系统．     

格蕴涵代数的一个简化公理系

将格蕴涵代数的公理系由原来的19条公理简化为7条公理,从而为检验一个（2,2,2,1,0,0)型代数是否为格蕴涵代数提供了方便。     

关于低阶BCI-代数计数问题的研究进展

概括介绍了低阶BCI-代数计数问题研究过程中的主要阶段性成果。本期学报所刊出的一组章完整解决了当阶数小于5时非p-半单、非BCK的BCI-代数类的数量问题，给出了在同构意义下不同的运算与汉斯图；给出了非平凡p-半单闭理想存在的实例，解决了BCI-代数研究中悬挂近十年的一个问题。     

由映射式的代数构成的BIC—代数的一些结果

本中,由BIC－代数映射的特征获得了由映射式的代数构成的BIC－代数的结果和性质。等等。     

差代数的伴随代数

研究了差代数（Ｘ；＊，≤，０）以及广义结合差代数的伴随代数；指出了一个差代数（Ｘ；＊，≤，０）的所有伴随代数都是同构的；广义结合差代数的伴随代数是同构的．     

P-半单BCI-代数的几组等价公理系

本文利用BCI-代数的某些基本性质和P-半单BCI-代数的等价特性,给出了P-半单BCI-代数的四组等价公理系.它不同于目前已有的公理系.     

具有条件(H)的BCK—代数及其性质

文[1—2」引入了具有条件(S)的BCK—代数,本文推广了这一类BCK—代数,引入了具有条件(H)的BCK—代数,并得到一些重要结果.     

关于具有条件（S）的BCK—代数的剩余半群

本文证明了具有条件（S）的BCK－代数的伴随半群是一个可换蕴涵半群，同时讨论了具有条件（S）的BCK－代数的理想与它的伴随半群的滤子之间的关系。     

W—BCI-代数的若干性质

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