JavaScript is disabled for your browser. Some features of this site may not work without it.

    Listar

    Todo RIUMAComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosDepartamentos/InstitutosEditoresEsta colecciónPor fecha de publicaciónAutoresTítulosMateriasTipo de publicaciónCentrosDepartamentos/InstitutosEditores

    Mi cuenta

    AccederRegistro

    Estadísticas

    Ver Estadísticas de uso

    DE INTERÉS

    Datos de investigaciónReglamento de ciencia abierta de la UMAPolítica de RIUMAPolitica de datos de investigación en RIUMAOpen Policy Finder (antes Sherpa-Romeo)Dulcinea
    Preguntas frecuentesManual de usoContacto/Sugerencias
    Ver ítem 
    •   RIUMA Principal
    • Investigación
    • Artículos
    • Ver ítem
    •   RIUMA Principal
    • Investigación
    • Artículos
    • Ver ítem

    Formal concept analysis and structures underlying quantum logics

    • Autor
      Krídlo, Ondrej; Ojeda-Aciego, ManuelAutoridad Universidad de Málaga
    • Fecha
      2018-06-04
    • Palabras clave
      Lógica simbólica y matemática
    • Resumen
      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
    • URI
      https://hdl.handle.net/10630/15902
    • Compartir
      RefworksMendeley
    Mostrar el registro completo del ítem
    Ficheros
    QF-FCA-submitted-RIUMA.pdf (273.7Kb)
    Colecciones
    • Artículos

    Estadísticas

    Buscar en Dimension
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
     

     

    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA
    REPOSITORIO INSTITUCIONAL UNIVERSIDAD DE MÁLAGA