TY - RPRT TI - Extensions of posets with an antitone involution to residuated structures AU - Ivan Chajda AU - Miroslav Kolařík AU - Helmut Länger PY - 2020 UR - https://arxiv.org/abs/2004.14127 ID - 2004.14127 ER -