Abstract

The quasivariety of BCK-algebras is widely known and investigated class of algebras. It is a natural semantic for the BCK-logic but there are also others quasivarieties of algebras with the above property and there are even some varieties among them. The aim of this note is to bring to the reader’s a attention the lattice they form. In what follows we shall only consider classes of algebras of type