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)image of a block is always a block. Moreover, there is a 01-lattice embedding E:EO(E).
© 2001-2024 Fundación Dialnet · Todos los derechos reservados