A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
Communications in Computer and Information Science
A Hilbert space H induces a formal context, the Hilbert formal context H, whose associated concept lattice is isomorphic to the lattice of closed subspaces of H. This set of closed subspaces, denoted C(H), is important in the development of quantum logic and, as an algebraic structure, corresponds to a so-called "propositional system", that is, a complete, atomistic, orthomodular lattice which satisfies the covering law. In this paper, we continue with our study of the Chu construction bydoi:10.1007/978-3-319-91473-2_49 fatcat:rjwuwor6jnbtdgwmn4iz63tmha