TY - RPRT TI - The logic induced by effect algebras AU - Ivan Chajda AU - Radomír Halaš AU - Helmut Länger PY - 2020 UR - https://arxiv.org/abs/2001.06686 ID - 2001.06686 ER -