Letters in Mathematical PhysicsCompleteness of inner product spaces and quantum logic of splitting subspacesAnatolij DvurečenskijPublished Apr 1, 1988• 23 citationsPublisherDOI10.1007/bf00398592