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）．