首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到10条相似文献,搜索用时 406 毫秒
1.
主要证明了有界关联BCK-代数与Boole代敬是相互等价的代数系统.  相似文献   

2.
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-代数.  相似文献   

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

4.
在《单纯BCI-代数的结构》一文的基础上进一步证明了:一个BCK-代数是单的当且仅当它的每个非平凡子代数是单的.从而把姜豪的有限单BCK-代数结构定理完整地推广到无限的情形.此外,我们还得到了单BCK-代数的其它一些重要性质.  相似文献   

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

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

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

8.
在《单纯BCI-代数的结构》一的基础上进一步证明了:一个BCK-代数是单的当且仅当它的每个非平凡子代数是单的.从而把姜豪的有限单BCK-代数结构定理完整地推广到无限的情形此外,我们还得到了单BCK-代数的其它一些重要性质。  相似文献   

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

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

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

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