Logically independent von Neumann lattices

Three definitions of logical independence of two von Neumann latticesP₁,P₂ of two sub-von Neumann algebras ₁, ₂ of a von Neumann algebra are given and the relations of the definitions clarified. It is shown that under weak assumptions the following notion, called logical independence is the strongest:A B 0 for any 0 A P₁, 0 B P₂. Propositions relating logical independence ofP₁,P₂ toC ^*-independence,W ^* independence, and strict locality of ₁, ₂ are presented.