Diagrams of Kochen-Specker type constructions (Q1586489)

Gleason's theorem claims that there is no two-valued state on the quantum logic of all closed subspaces of a Hilbert space of dimension 3 or more. \textit{S. Kochen} and \textit{E. P. Specker} [J. Math. Mech. 17, 59-87 (1967; Zbl 0156.23302)] constructed a finite quantum logic in a 3-dimensional space without a two-valued state. This paper considers some examples of a finite quantum logic in 3-dimensional and 4-dimensional spaces without a two-valued state.