2026-06-05T18:06:55Zhttps://riuma.uma.es/rest/oai/request

oai:riuma.uma.es:10630/159022026-02-03T11:14:29Zcom_10630_2254col_10630_37953

00925njm 22002777a 4500 dc Krídlo, Ondrej author Ojeda-Aciego, Manuel author 2018-06-04 A Hilbert space $H$ induces a formal context, the Hilbert formal context $\overline H$, whose associated concept lattice is isomorphic to the lattice of closed subspaces of $H$. This set of closed subspaces, denoted $\mathcal 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 by introducing the Chu correspondences between Hilbert contexts, and showing that the category of Propositional Systems, PropSys, is equivalent to the category of $\text{ChuCors}_{\mathcal H}$ of Chu correspondences between Hilbert contexts https://hdl.handle.net/10630/15902 Lógica simbólica y matemática Formal concept analysis and structures underlying quantum logics