TY - JOUR AU - Chajda, Ivan TI - The axioms for implication in orthologic JO - Czechoslovak Mathematical Journal PY - 2008 SP - 15 EP - 21 VL - 58 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMJ_2008__58_1_a1/ LA - en ID - CMJ_2008__58_1_a1 ER -