.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
For an algebra A belonging to a quasivariety K, the quotientA/Theta need not belong to K for every Theta is an element of Con A. The natural question arises for which Theta is an element of Con A, A/Theta is an element of K. We consider algebras A = (A,->,1) of type ( 2, 0) where a partial order relation is determined by the operations -> and 1. Within these, we characterize congruences on A for which A/Theta belongs to the same quasivariety as A. In several particular cases, these congruences are determined by the property that every class is a convex subset of A.
Keyword:
Convex class
Convex congruence
Algebra with induced order
BCK-algebra
BCI-algebra
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
.png){kind=icon}
