Weaker forms of associativity in orthomodular lattices. (Q2351507)

It is known that the free orthomodular lattice with two free generators has just 96 elements. It was proved by the authors in a previous paper that only 6 of them are associative binary operations. Here the authors consider weaker identities like left and right alternative identity and the flexible identity. They classify all the binary operations which satisfy all of these identities and prove that all remaining operations satisfy at most one of the mentioned identities. Similarly they check also weaker identities like the Moufang ones.