首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
在《单纯BCI-代数的结构》一文的基础上进一步证明了:一个BCK-代数是单的当且仅当它的每个非平凡子代数是单的.从而把姜豪的有限单BCK-代数结构定理完整地推广到无限的情形.此外,我们还得到了单BCK-代数的其它一些重要性质.  相似文献   

2.
单纯BCI-代数的结构   总被引:2,自引:0,他引:2  
本文建立了周期BCK-代数的概念,从而把姜豪~([1])的有限单BCK-代数结构定理推广到无限的情形,而且我们的证明本身也简化了文[1]中有限单BCK-代数结构定理的原证,此外,我们还建立了单纯真BCI-代数的一个结构定理,因而完整地解决了单纯BCI-代数的结构问题。  相似文献   

3.
BCK-代数X称为主理想BCK-代数,如果X=(a],其中a为X的元素. 设X为周期BCK-代数,x(a)是X的极大元扩张,则X是主理想BCK-代数的充分必要条件是 X(a)为主理想BCK-代数. X是单BCK-代数的充分必要条件是X=(a],其中a为X的小原子. 任意阶数为n(n不小于5) 的n-2型BCK-代数必是主理想BCK-代数.  相似文献   

4.
正定关联BCK-代数是BCK-代数的一种重要的特殊类型.为了进一步研究的需要,本文给出了正定关联BCK-代数的几个特性,并在BCK-代数〈X;*,0〉中,证明了它们之同的等价性.  相似文献   

5.
本文引入了AF(B)BCK-代数,讨论了BCK-代数B与BCK-代数AF(B)之间的几个关系。  相似文献   

6.
在有界蕴涵BCK-代数与Boole代数是等价代数系统的基础上,从格论观点来研究了BCK-代数中的粗糙算子的代数性质。  相似文献   

7.
有界蕴涵BCK-代数中的逆对合算子   总被引:1,自引:1,他引:0  
在有界蕴涵BCK-代数与Boole数是等价地代数系统的基础上,从布尔格的角度出发,研究了有界蕴涵BCK-代数的逆对合算子及其相关的一些性质。  相似文献   

8.
本文证明了具有条件(S)的BCK-代数的伴随半群是一个可换蕴涵半群;同时讨论了具有条件(S)的BCK-代数的理想与它的伴随半群的序滤子之间的关系.  相似文献   

9.
给定一个集合Ω,引入了有界可交换的BCK-代数的Ω-模糊代数理想之概念,研究了它的一些相关性质,并给出了它几个特征,讨论了有界可交换的BCK-代数的Ω-模糊理想与Ω-模糊代数理想的关系.讨论了有界可交换的BCK-代数的模糊代数理想与Ω-模糊代数理想的相互构造.  相似文献   

10.
黄万微在[2]中引进了Fuzzy BCK-代数的概念,其定义如下: 定义1 设为BCK-代数,μ为从X到[0,1]的一个函数,如果满足:则称<μ(X);⊕,0>为X的一个Fuzzy BCK-代数。  相似文献   

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

12.
引入BCC-代数的一种新的模糊理想,并研究了它的性质,讨论了BCC-代数中模糊BCC-子代数、模糊BCK-子代数、模糊BCC-理想、模糊BCK-理想四者间的关系,给出了BCC-代数的模糊BCC-理想与BCC-代数的积代数的模糊BCC-理想二者间的关系,揭示了BCC-代数的模糊BCC-理想与同余之间的联系,讨论了由模糊BBC-理想诱导的商BCC-代数.最后,研究了模糊BCC-理想与模糊BCK-子代数的同态象和同态逆象,建立了模糊同态基本定理.  相似文献   

13.
通过关联BCK-代数主滤子概念,建立了BCK-代数与立体格公理系统的联系,同时应用该联系给出了M-R公开问题一个肯定的答复。  相似文献   

14.
对BCK-代数X中的星形子代数进行了讨论,给出了星形子代数构成某些特殊子结构的刻划,并讨论了乘积BCK-代数星部分的若干性质.  相似文献   

15.
通过一元谓词和采用格值逻辑语义方法推广了不分明化BCC-代数,引入了BCC-代数的不分明化BCH-子代数、不分明化BCK-理想和不分明化BCC-理想的概念,讨论了它们的性质和它们间的关系.研究了BCC-代数的不分明化BCH-子代数(不分明化BCK-理想、不分明化BCC-理想)的同态象和同态原象,讨论了BCC-代数的不分明化BCH-子代数(不分明化BCK-理想、不分明化BCC-理想)的积代数的性质.  相似文献   

16.
日本数学家Y·Imai与K·Isèki于1966年引入BCK-代数的概念.定义1 设〈X;*,O〉是一个(2,0)型代数,(即X是具有一个二元运算*及零元O的集合),那么X称为一个BCK-代数,假若它满足以下条件:  相似文献   

17.
以左连续三角模及其伴随蕴涵算子→为出发点,给出了强三角模的概念,并推导出了强三角模对应的三角余模及其伴随算子*,给出了强BCK-代数的概念,并讨论了它们之间的关系.主要结果是:(1)([0,1];*,0)是BCK-代数;(2)定义于[0,1]上的强BCK-代数中的二元运算可以诱导出一个三角余模R且是三角余模R的伴随算子.  相似文献   

18.
讨论BCK-代数中fuzzy理想的Cartesian积及最强fuzzy关系的问题.证明了若μ和ν是BCK-代数X上的fuzzy蕴涵理想,则μ×ν是X×X上的fuzzy蕴涵理想;反之,若μ×ν是X×X上的fuzzy蕴涵理想,则μ或ν是X上的fuzzy蕴涵理想;最后给出了μ上最强fuzzy关系成为fuzzy蕴涵理想的条件.  相似文献   

19.
引进BCI-代数的弱正定关联理想的概念,它是BCK-代数中的正定关联理想在BCI-代数中的自然推广.利用弱正定关职理想,成功地刻划了M.A.Chaudhry引入的弱正定关联BCI-代数,从而推广了K.Iseki与S.Tana-ka的一个著名结果.  相似文献   

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

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号