Atomistic and orthoatomistic effect algebras
Josef Tkadlec · Journal of Mathematical Physics · 2008
We characterize atomistic effect algebras, prove that a weakly orthocomplete Archimedean atomic effect algebra is orthoatomistic and present an example of an orthoatomistic orthomodular poset that is not weakly orthocomplete.