(1) CREA, Ecole Polytechnique, 1 rue Descartes, 75005 Paris, France
Abstract:
No Heading Quantum logical axiomatic systems for quantum theory usually include a postulate that a lattice under consideration is orthomodular. We propose a derivation of orthomodularity from an information-theoretic axiom. This provides conceptual clarity and removes a long-standing puzzle about the meaning of orthomodularity.