The block structure of complete lattice ordered effect algebras
Gejza Jenča · Journal of the Australian Mathematical Society · 2007
Abstract We prove that every for every complete lattice-ordered effect algebra E there exists an orthomodular lattice O(E) and a surjective full morphism øE: O(E) → E which preserves blocks in both directions: the (pre)imageofa block is always a block. Moreover, there is a 0, 1-lattice embedding : E → O(E).