  Quantum implication algebras without complementation are formulated with the
same axioms for all five quantum implications. Previous formulations of
orthoimplication, orthomodular implication, and quasi-implication algebras are
analysed and put in perspective to each other and our results.
