Abstract

AbstractWe 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).

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call