Tensor product of difference posets. (English) Zbl 0859.03031

Summary: A tensor product of difference posets, which generalize orthoalgebras and orthomodular posets, is defined, and an equivalent condition is presented. In particular, we show that a tensor product for difference posets with a sufficient system of probability measures exists, a well as a tensor product of any difference poset and any Boolean algebra, which is isomorphic to a bounded Boolean power.


03G12 Quantum logic
81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
Full Text: DOI