 Suppose that the logic and property lattices of a model are isomorphic, so that the logic of propositions/properties is a complete orthomodular lattice. The question then arises: how close does this bring us to quantum mechanics—that is, to the projection lattice \(L(\mathbf{H})\) of a Hilbert space? 