The axioms for implication in orthologic
Ivan Chajda · Czechoslovak Mathematical Journal · 2008
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.