Greechie Logics with Simple State Space Structure

We provide a simple algorithm for constructing Greechie logics whose states are convex linear combinations of two-valued states.     

Three Classes of Orthomodular Lattices

Let denote the class of all orthomodular lattices and denote the class of those that are commutator-finite. Also, let denote the class of orthomodular lattices that satisfy the block extension property, those that satisfy the weak block extension property, and those that are locally finite. We show that the following strict containments hold: Dedicated to the memory of Günter Bruns.