Contextual logic for quantum systems

Domenech G., Freytes H.

In this work we build a quantum logic that allows us to refer to physical magnitudespertaining to different contexts from a fixed one without the contradictionswith quantum mechanics expressed in no-go theorems. This logic arises from consideringa sheaf over a topological space associated with the Boolean sublattices ofthe ortholattice of closed subspaces of the Hilbert space of the physical system.Different from standard quantum logics, the contextual logic maintains a distributivelattice structure and a good definition of implication as a residue of theconjunction