基于模糊等式的Ω-BCK代数

摘要

在模糊等式的框架下，引入Ω-BCK代数的概念.首先，将BCK代数中的清晰等式用模糊等式取代，给出Ω-BCK代数的定义；其次，刻画Ω-BCK代数的子结构，并证明Ω-BCK子代数判定的充分必要条件；再次，利用模糊同余关系得到Ω-BCK代数与BCK代数的关系；最后，将BCK代数的偏序关系进行推广，定义Ω-BCK代数的E-偏序关系.

关键词

Ω-BCK代数 / 完备格 / 模糊等式 / 模糊恒等式 / 模糊子代数 / E-偏序关系