Logical independence in quantum logic

The projection latticesP(₁),P(₂) of two von Neumann subalgebras ₁, ₂ of the von Neumann algebra are defined to be logically independent if A B0 for any 0AP(₁), 0BP(₂). After motivating this notion in independence, it is shown thatP(₁),P(₂) are logically independent if ₁ is a subfactor in a finite factor andP(₁),P(₂ commute. Also, logical independence is related to the statistical independence conditions called C^*-independence W^*-independence, and strict locality. Logical independence ofP(₁,P(₂ turns out to be equivalent to the C^*-independence of (₁,₂) for mutually commuting ₁,₂ and it is shown that if (₁,₂) is a pair of (not necessarily commuting) von Neumann subalgebras, thenP(₁,P(₂ are logically independent in the following cases: is a finite-dimensional full-matrix algebra and ₁,₂ are C^*-independent; (₁,₂) is a W^*-independent pair; ₁,₂ have the property of strict locality.