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  -