RT Journal Article
T1 Formal concept analysis and structures underlying quantum logics
A1 Krídlo, Ondrej
A1 Ojeda-Aciego, Manuel
K1 Lógica simbólica y matemática
AB 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
YR 2018
FD 2018-06-04
LK https://hdl.handle.net/10630/15902
UL https://hdl.handle.net/10630/15902
LA eng
NO Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech.
DS RIUMA. Repositorio Institucional de la Universidad de Málaga
RD 20 ene 2026