Implicational subreducts of \(n\)-potent commutative residuated lattices (Q995378)

Using a new embedding of a BCK-algebra into a commutative integral residuated lattice, the implicational subreducts of \(n\)-potent commutative residuated lattices are axiomatized. Some imortant results are discussed. In particular, the class of \(\{\rightarrow, 1, \leq\}\)-subreducts of commutative residuated lattices satisfying \(x^n\leq x^m\) is axiomatized. This is a good article. Emphasis is laid on the theory of logical algebras.