Orthomodular implication algebras (Q5955524)

\textit{J. C. Abbott} [Mat. Vesn., N. Ser. 4, 177--198 (1967; Zbl 0153.02704)] introduced the notion of an implication algebra using some axioms fulfilled by the implication operation \(x \to y := x' \lor y\) in Boolean algebras. He showed, e.g., the correspondence of implication algebras to Boolean join-semilattices. The authors generalize these notions and results starting with properties of the operation \(x \to y := (x' \land y') \lor y\) in orthomodular lattices.