TY - RPRT TI - Canonical formulas for k-potent commutative, integral, residuated lattices AU - Nick Bezhanishvili AU - Nick Galatos AU - Luca Spada PY - 2016 UR - https://arxiv.org/abs/1509.07980 ID - 1509.07980 ER -