Greechie Diagrams of Small Quantum Logics with Small State Spaces

We present Greechie diagrams of various quantumlogics with small state spaces (i.e., the set oftwo-valued states is empty, not unital, not separating,not full, resp.). We present the smallest known examples of such so-called Kochen-Specker typeconstructions.