共查询到20条相似文献，搜索用时 31 毫秒
1.
2.
综述BCK／BCI代数在逻辑代数中的地位与意义,回顾所知国内外学者在该领域的一些主要工作,介绍了BCK／BCI代数理论中的一些概念、术语和成果,篇末罗列较丰富的参考文献,期望对年轻的学者有所帮助。 相似文献
3.
本文证明了具有条件（S）的BCK－代数的伴随半群是一个可换蕴涵半群，同时讨论了具有条件（S）的BCK－代数的理想与它的伴随半群的滤子之间的关系。 相似文献
4.
5.
6.
研究了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）． 相似文献
7.
关于逻辑运算"→"和BCK运算"*" 总被引：1，自引：0，他引：1
徐少贤 《南阳师范学院学报》2002,1(6):19-20,35
K.Iseki和S.Tanaka在文[1]中提出了正蕴函BCK－代数的概论，以此研究了数理逻辑中逻辑运算“→”的若干性质，进而探讨了逻辑运算“→”与BCK－代数中运算“*”之间的关系。 相似文献
8.
9.
徐少贤 《南都学坛(南阳师专学报)》1998,18(6):13-14
Ｄｉｅｇｏ在文「２」中提出了Ｈｉｌｂｅｒｔ代数的概念。本文讨论了Ｈｉｂｅｒｔ代数的若干性质,探讨了ＢＣＩ－代数与Ｈｉｂｅｒｔ代数之间的关系。 相似文献
10.
孙大军 《廊坊师范学院学报》2002,18(4):1-2
概括介绍了低阶BCI-代数计数问题研究过程中的主要阶段性成果。本期学报所刊出的一组章完整解决了当阶数小于5时非p-半单、非BCK的BCI-代数类的数量问题，给出了在同构意义下不同的运算与汉斯图；给出了非平凡p-半单闭理想存在的实例，解决了BCI-代数研究中悬挂近十年的一个问题。 相似文献
11.
12.
13.
在文【8】中,Dvurecenskij和Kim建立了BCK代数与D-偏序集之间的联系,本文把它们的结果推广到非交换形式,给出了伪BCK代数与PD-偏序集之间的联系。 相似文献
14.
15.
16.
朱怡权 《黄冈师范学院学报》2001,21(3):4-5,8
证明了弱FI－代数与BCI－代数是互相等价的。因而，可以充分利用BCI－代数的理论来研究弱FI－代数，此外，还证明弱MV－代数与MV－代数本质上也是同一概念。 相似文献
17.
18.
19.
使用ＲＣＩ－代数，推广了正蕴涵ＢＣＩ－代烽的定义和性质，最后论了广义正蕴涵ＢＣＩ－代数的结构。 相似文献
20.
邹庭荣 《绵阳师范学院学报》2001,(2)
给出了关联BCK -代数的主滤子与关联滤子的概念 ,并得到了一些有趣的结果 :Ⅰ )主滤子 [a]是一个并代数、完全格和分配格。Ⅱ )给出了主滤子与关联滤子的关系 ,即 :如果 (X ,· ,1 )是一个关联BCK -代数 ,则对每一个a∈X ,主滤子 [a]是关联滤子当且仅当下列条件满足 :(F1)如果 (ab)c=1和bc =1则a=1 对任意a,b∈X ,或等价的 ;(F2 )如果c≤ab和c≤b ,则c≤a 对任意a,b∈X 相似文献