The completion by cuts of an orthocomplemented modular lattice
D. H. Adams · Bulletin of the Australian Mathematical Society · 1969
In this note we give an example of an orthocomplemented modular lattice whose completion by cuts is not orthomodular. This solves negatively Problem 36, p. 131, in G. Birkhoff: Lattice theory (3rd edition).