Finitely axiomatizable varieties of BCK-algebras.
In an -group with an appropriate operator set it is shown that the -value set can be embedded in the value set . This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If has a.c.c. and is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets and and the corresponding -value sets and . If is a unital -ring, then each unital -module over is an -module...
In this paper we have given the construction of free -groups generated by a po-group and the construction of free products in any sub-product class of -groups. We have proved that the -free products satisfy the weak subalgebra property.