Congruence quasi-orderability in subtractive varieties
Paolo Aglianò · Journal of the Australian Mathematical Society · 2001
Abstract In this paper we investigate subtractive varieties of algebras that are congruence quasi-orderable. Though this concept has its origin in abstract algebraic logic, it seems to be worth investigating in a purely algebraic fashion. Besides clarifying the algebraic meaning of this notion, we obtain several structure theorems about such varieties. Also several examples are provided to illustrate the theory.