×

zbMATH — the first resource for mathematics

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.

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