Greechie diagrams, nonexistence of measures in quantum logics, and Kochen–Specker-type constructions
- 1 November 1996
- journal article
- Published by AIP Publishing in Journal of Mathematical Physics
- Vol. 37 (11) , 5380-5401
- https://doi.org/10.1063/1.531710
Abstract
We use Greechie diagrams to construct finite orthomodular lattices ‘‘realizable’’ in the orthomodular lattice of subspaces in a three‐dimensional Hilbert space such that the set of two‐valued states is not ‘‘large’’ (i.e., full, separating, unital, nonempty, resp.). We discuss the number of elements of such orthomodular lattices, of their sets of (ortho)generators and of their subsets that do not admit a ‘‘large’’ set of two‐valued states. We show connections with other results of this type.Keywords
This publication has 15 references indexed in Scilit:
- Automaton logicInternational Journal of Theoretical Physics, 1996
- Automaton partition logic versus quantum logicInternational Journal of Theoretical Physics, 1995
- Experimental realization of any discrete unitary operatorPhysical Review Letters, 1994
- Partition logics of automataIl Nuovo Cimento B (1971-1996), 1994
- Two simple proofs of the Kochen-Specker theoremJournal of Physics A: General Physics, 1991
- The Pasting Constructions for Orthomodular PosetsMathematische Nachrichten, 1991
- Bell’s theorem without inequalitiesAmerican Journal of Physics, 1990
- Unperformed experiments have no resultsAmerican Journal of Physics, 1978
- DIE LOGIK NICHT GLEICHZEITIG ENTSC HEIDBARER AUSSAGENDialectica, 1960
- The Logic of Quantum MechanicsAnnals of Mathematics, 1936