%0 Journal Article %A Chajda, Ivan %T The axioms for implication in orthologic %J Czechoslovak Mathematical Journal %D 2008 %P 15-21 %V 58 %N 1 %I mathdoc %U http://geodesic.mathdoc.fr/item/CMJ_2008__58_1_a1/ %G en %F CMJ_2008__58_1_a1