1985/01/01 by Sylvia Pulmannová
Computer Science · Physics and Astronomy · #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Quantum Mechanics and Applications
paper · doi:10.1063/1.526784
A quantum logic is the couple (L,M) where L is an orthomodular σ-lattice and M is a strong set of states on L. The Jauch–Piron property in the σ-form is also supposed for any state of M. A ‘‘tensor product’’ of quantum logics is defined. This definition is compared with the definition of a free orthodistributive product of orthomodular σ-lattices. The existence and uniqueness of the tensor product in special cases of Hilbert space quantum logics and one quantum and one classical logic are studied.