带门槛的模糊BCK-滤子

引入带门槛模糊BCK-滤子的概念,并讨论其性质。应用水平集方法,并综合有关(∈,∈∨q)模糊BCK-滤子的成果,给出了带门槛模糊BCK-滤子的定义及其等价条件,讨论了若干特殊类型的模糊BCK-滤子的相互关系。为研究模糊BCK-代数提供了一种新方法,充实了模糊BCK-滤子内容。

(∈,∈∨q)-模糊BCK-滤子

在BCK-代数中引入(∈,∈∨q)-模糊BCK-滤子的概念,讨论了它的某些性质.特别是,分别利用水平集和∈∨q-水平集给出了∈∨q-模糊BCK-滤子的若干特征.

(α,β)((λ_1,λ_2))-模糊BCK-滤子

应用模糊点和模糊子集之间的关系,引入了BCK-代数的(α,β)((∈,∈∨q))-模糊BCK-滤子的概念,研究了BCK-代数的(α,β)-模糊BCK-滤子的性质,给出了BCK-代数的模糊子集为(∈,∈∨q)-模糊BCK-滤子的充要条件.随后又将BCK-代数的模糊BCK-滤子的概念做了进一步推广,给出了BCK-代数的(λ1,λ2)((∈,∈∨q(λ1,λ2)))-模糊BCK-滤子的概念,并讨论了(λ1,λ2)-模糊BCK-滤子和(∈,∈∨q(λ1,λ2))-模糊BCK-滤子之间的关系.

关于模糊质BCK-滤子(英文)

建立了模糊质 BCK-滤子定理 :设 X是一个有界可换 BCK-代数 ,F是 X的一个真模糊 BCK-滤子 ,并且 f ( 1 )是 X的一个∨ -封闭的模糊集 .如果 F≤ f且 M={μ∈ FF(X) |F≤μ≤f}则 M包含一个关于≤的极大元 P满足 (1 ) P是一个质模糊 BCK-滤子 ,(2 ) F≤ P≤f .

BCK-代数模糊对偶原理

对于有界可换BCK-代数建立了下述对偶原理:一个模糊子集μ是一个模糊理想(质理想,模糊同余),当且仅当它的诱导模糊子集v(定义:v(x)=μ(Nx)x∈X)是一个模糊BCK-滤子(质模糊BCK-滤子,模糊BCK-滤子同余)。

BR_0-代数与BCK-代数

讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论.