Binary orthologic with modus ponens is either orthomodular or distributive (1998)

by M Pavicic, N D Megill
Venue:Helv. Phys. Acta