TY - RPRT TI - Residuation in twist products and pseudo-Kleene posets Abstract AU - Ivan Chajda AU - Helmut Länger PY - 2020 UR - https://arxiv.org/abs/2011.14408 ID - 2011.14408 ER -