Completeness of inner product spaces and quantum logic of splitting subspaces

We show that an inner product space S is complete whenever its system E(S) of all splitting subspaces, i.e., of all subspaces E for which EE =S holds, is a quantum logic, that is, an orthocomplemented orthomodular -orthoposet. It is well known that the quantum logic is an important axiomatic model of quantum mechanics. This generalizes the result of G. Cattaneo and G. Marino (Lett. Math. Phys. 11, 15–20 (1986)) who required that E(S) be a lattice. Moreover, the conditions are weakened to show that S is complete whenever E(S) contains the join of any sequence of one-dimentional orthogonal subspaces.