Pseudo-BCK algebras as partial algebras (Q621618)

From the author's abstract: ``We consider subreducts of residuated lattices, the monoidal and the meet operation being dropped: the resulting algebras are pseudo-BCK semilattices. Assuming divisibility, we can pass on to partial algebras. To reconstruct the underlying group structure from this partial algebra, if applicable, is straightforward. We demonstrate the elegance of this method for two classes of pseudo-BCK semilattices: semilinear divisible pseudo-BCK algebras and cone algebras.''