共查询到20条相似文献,搜索用时 15 毫秒
1.
孟杰 《数学年刊A辑(中文版)》1987,(2)
若X是有界关联BCK-代数,≤是集的包含关系,则X的所有理想之集关于V和在序关系≤下是一个分配格,最小元为{O},最大元为X,所有主理想的集是它的一个子格, 关于对偶理想有类似结果。 利用上述结果证明了下列关系 相似文献
2.
BCK—代数的对偶理想 总被引:1,自引:0,他引:1
若X是一个集,*是X上的一个二元运算。0是X的一个常元, 满足V~(x,y,z)∈X(K1)(x*y)*(x*y)z*y,(K2)x*(x*y)y,(K3)xx, 相似文献
3.
4.
5.
BCK—代数的可换理想 总被引:1,自引:0,他引:1
孟杰 《纯粹数学与应用数学》1991,7(2):49-53
本文是作者[1],[2]和[3]的继续,引入了可换理想的概念,并讨论它的重要性质,特别是用可换理想刻划了可换BCK-代数,从而建立了BCK-代数的一套较完备的理想理论。 1976年K.Ise’ki和S.Tanaka引入了正定关联理想概念,借此刻划了正定关联BCK-代数;1984年,我们引入关联理想概念,借此刻划了关联BCK-代数。如所周知,正定关联BCK-代数、关联BCK-代数和可换BCK-代数是BCK-代数的三个重要类型。既然前两类代数都已用理想所刻划,那么可换BCK-代数能否用理想刻划?这里首先遇到的困难是如何定义可换理想,并使它带有更多的信息。 相似文献
6.
孟杰 《纯粹数学与应用数学》1994,10(2):13-18
本文是作者[1]-[6]的继续,我们得到下述结果:定理4.设I是BCK-代数X的一个理想,a是X的一个元素,则包含I和a的最小理想是对某个非负整数}.定理14.设X是一个Lukasiewicz代数,I是X的一个质理想.如果A是X的一个真理想且,则A也是质的.定理15.Lukasiewicz代数X的零理想{0}是质的当且仅当<X;≤>是一个全序集. 相似文献
7.
8.
9.
10.
11.
Iseki.K.于1975年在BCK-代数中提出了理想和正定理想[1]。我们自1984年以来,对理想作了较深入的研究,分别于1984年和1988年提出了关联理想和可换理想的概念[3],[4]并讨论了各种理想之间的关系。理想在BCK-代数的研究中占有重要的位置。本文利用计算 相似文献
12.
在集合论中关于差的运算及在命题演算中关于→的运算均具有以下性质: 1) (x*y)*(x*z)≤(z*y); 2) x*(x*y)≤y; 3) x≤x, 4) 0≤x; 5) 若x≤y,y≤x则x=y; 6) x≤y x*y=0. 在集合论中,“*”表示两个集合之差的运算,“≤”表示两个集合之间的包含“(?)”关系,“0”表示空集,“=”表示两个集合相等.在命题演算中,“*”表示两个命题之间的 相似文献
13.
14.
在BCK-代数中引进了一个右映射和BCI-代数中引进了一个弱左映射,并探讨它们的性质。从而推广了文[1]中大部分结果。主要结果是:如果X是一个BCK-代数,Y是一个正定关联BCK-代数,则所有X到Y的左映射的集合也构成一个正定关联BCK-代数。 相似文献
15.
16.
17.
孙培源 《纯粹数学与应用数学》1999,15(4):42-45
证明文[3]中的若干定理的交换性要求可以去掉.主要结论是:若X是有界BCK代数,D是X的对偶理想,一定存在从DI(X,D)到DI(XD)的一一对应 相似文献
18.
19.
Fuzzy蕴涵代数与有界BCK—代数等价 总被引:2,自引:0,他引:2
在[1]中作者给出了下面的定义. 定义1 一个(2,0)型代数(X,→,0)称为FI代数,如果(?) x,y,z∈X,有 (I_1) x→(y→z)=y→(x→z), (I_2) (x→y)→[(y→z)→(x→2)]=1, (I_3) (x→z)=1, (I_4) 若x→y=y→x=1,则x=y, (I_5) 0→x=1,其中 1=0→0. 在[2]中Iseki K引入了BCK-代数,参见[3,4]. 定义2 一个(2,0)型代数(X;*,0)称为BCK-代数,如果(?) x,y,z∈X,有 (Ⅰ) ((x*y)*(x*z))*(z*y)=0, (Ⅱ) (x*(x*y))*y=0, (Ⅲ) x*x=0. 相似文献
20.
我们在本文中引进了BCK-代数的主子代数的概念并证明了关于子代数格的若干结果。作为应用我们给出了n阶n-2型BCK-代数的序结构的特征。 相似文献