Coupling of quantum logics (Q793065)

A tensor product in the category of quantum logics is defined (a quantum logic is, by definition, a couple (L,M), where L is a \(\sigma\)- ortholattice and M is a quite full set of states, i.e., probability measures, on L) and some properties of this tensor product are established. Also, a comparison of this definition of the tensor product with that of the free orthodistributive product of \(\sigma\)- ortholattices, proposed by Matolcsi in 1975, is given.