1. The axioms for implication in orthologic Creator: Chajda, Ivan Format: bez média and svazek Type: model:article and TEXT Subject: ortholattice, orthoimplication, and orthologic Language: English Description: 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. Rights: http://creativecommons.org/publicdomain/mark/1.0/ and policy:public