TY - RPRT TI - Residuated operators in complemented posets AU - Ivan Chajda AU - Helmut Länger PY - 2018 UR - https://arxiv.org/abs/1809.10101 ID - 1809.10101 ER -