TY - RPRT TI - Left residuated operators induced by posets with a unary operation AU - Ivan Chajda AU - Helmut Länger PY - 2018 UR - https://arxiv.org/abs/1810.07214 ID - 1810.07214 ER -