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