基于模糊等式的Ω-BCK代数OA
Ω-BCK Algebras Based on Fuzzy Equalities
在模糊等式的框架下,引入Ω-BCK代数的概念.首先,将BCK代数中的清晰等式用模糊等式取代,给出Ω-BCK代数的定义;其次,刻画Ω-BCK代数的子结构,并证明Ω-BCK子代数判定的充分必要条件;再次,利用模糊同余关系得到Ω-BCK代数与BCK代数的关系;最后,将BCK代数的偏序关系进行推广,定义Ω-BCK代数的E-偏序关系.
We introduced the concept of Ω-BCK algebras in the framework of fuzzy equalities.Firstly,we replaced the crisp equalities in BCK algebras with fuzzy equalities and gave the definition of Ω-BCK algebras.Secondly,we characterized the substructures of Ω-BCK algebras and proved the necessary and sufficient conditions for the determination of Ω-BCK subalgebras.Thirdly,by using fuzzy congruence relations,we obtained the relationship between Ω-BCK algebras and BCK algebras.Finally,we generalized the partial order relation of BCK algebras and defined the E-partial order relation of Ω-BCK algebras.
刘芸;周鑫;陈良云
伊犁师范大学数学与统计学院,新疆伊宁 835000伊犁师范大学数学与统计学院,新疆伊宁 835000||伊犁师范大学应用数学研究所,新疆伊宁 835000东北师范大学数学与统计学院,长春 130024
数理科学
Ω-BCK代数完备格模糊等式模糊恒等式模糊子代数E-偏序关系
Ω-BCK algebracomplete latticefuzzy equalityfuzzy identityfuzzy subalgebraE-partial order relation
《吉林大学学报（理学版）》 2026 (3)
545-550,6
国家自然科学基金(批准号:12471021)、伊犁师范大学提升学科综合实力专项项目(批准号:2022XKZY08)、伊犁师范大学科研创新项目(批准号:YSD2025CX01)和伊犁师范大学高级别培育项目(批准号:YSPY2022011).
评论