Sharp and principal elements in effect algebras
arXiv:1504.00473
Abstract
In this paper we characterize the effect algebras whose sharp and principal elements coincide. We also give examples of two non-isomorphic effect algebras having the same universum, partial order and orthosupplementation.