A connection between propositional systems in Hilbert spaces and von Neumann algebras

A theorem of Bade proves that for a complete Boolean sublattice S£ of 3>(3if) the following holds: SS {PeS£; P is orthogonal projection operator} We prove th...