TY - RPRT TI - Residuation in lattice effect algebras AU - Ivan Chajda AU - Helmut Länger PY - 2019 UR - https://arxiv.org/abs/1905.05496 ID - 1905.05496 ER -