It is known that every atomic ortho-modularlattice is also atomistic. Is the converse also true?
If not, can someone give me some examples of atomistic ortholattices which are not modular?
By atomistic I mean that the lattice has atoms and moreover, every element of the lattice can be expressed as a join of atoms.