ortholattice; orthoimplication; orthologic
We set up axioms characterizing logical connective implication in a logic derived by an ortholattice. It is a natural generalization of an orthoimplication algebra given by J. C. Abbott for a logic derived by an orthomodular lattice.
 I. Chajda, G. Eigenthaler and H. Länger: Congruence Classes in Universal Algebra
. Heldermann Verlag, 2003. MR 1985832
 B. Jónsson: Algebras whose congruence lattices are distributive
. Math. Scand. 21 (1967), 110–121. MR 0237402