Order topology on orthocomplemented posets of linear subspaces of a pre-Hilbert space

David Buhagiar, Emmanuel Chetcuti, Hans Weber

Motivated by the Hilbert-space model for quantum mechanics, we define a pre-Hilbert space logic to be a pair $(S,\el)$, where $S$ is a pre-Hilbert space and $\el$ is an orthocomple…