@article{CMJ_2008__58_1_a1,
     author = {Chajda, Ivan},
     title = {The axioms for implication in orthologic},
     journal = {Czechoslovak Mathematical Journal},
     pages = {15--21},
     publisher = {mathdoc},
     volume = {58},
     number = {1},
     year = {2008},
     mrnumber = {2402523},
     zbl = {1174.06310},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMJ_2008__58_1_a1/}
}