TY - RPRT TI - Sharply Orthocomplete Effect Algebras AU - Martin Kalina AU - Jan Paseka AU - Zdenka Riečanová PY - 2010 UR - https://arxiv.org/abs/1005.3678 ID - 1005.3678 ER -