BCK-代数模糊对偶原理

摘要

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