Binary Orthologic with Modus Ponens Is either Orthomodular or Distributive, Helv (1998)

by M Pavičić, N D Megill
Venue:Phys. Acta