Orthomodular Posets Can Be Organized as Conditionally Residuated Structures
نویسندگان
چکیده
It is proved that orthomodular posets are in a natural one-to-one correspondence with certain residuated structures.
منابع مشابه
Residuation in orthomodular lattices
We show that every idempotent weakly divisible residuated lattice satisfying the double negation law can be transformed into an orthomodular lattice. The converse holds if adjointness is replaced by conditional adjointness. Moreover, we show that every positive right residuated lattice satisfying the double negation law and two further simple identities can be converted into an orthomodular lat...
متن کاملRepresentation Systems and Quantum Structures
Two important classes of quantum structures, namely orthomodular posets and orthomodular lattices, can be characterized in a classical context, using notions like partial information and points of view. Using the formalism of representation systems, we show that these quantum structures can be obtained by expressing conditions on the existence of particular points of view, of particular ways to...
متن کاملYosida-Hewitt and Lebesgue decompositions of states on orthomodular posets
Orthomodular posets are usually used as event structures of quantum mechanical systems. The states of the systems are described by probability measures (also called states) on it. It is well known that the family of all states on an orthomodular poset is a convex set, compact with respect to the product topology. This suggests to use geometrical results to study its structure. In this line, we ...
متن کاملState spaces of orthomodular structures
We present several known and one new description of orthomodular structures (orthomodular lattices, orthomodular posets and orthoalgebras). Originally, orthomodular structures were viewed as pasted families of Boolean algebras. Here we introduce semipasted families of Boolean algebras as an alternative description which is not as detailed, but substantially simpler. Semipasted families of Boole...
متن کاملCommutative bounded integral residuated orthomodular lattices are Boolean algebras
We show that a commutative bounded integral orthomodular lattice is residuated iff it is a Boolean algebra. This result is a consequence of [7, Theorem 7.31]; however, our proof is independent and uses other instruments.
متن کامل