TY  - RPRT
TI  - How to introduce the connective implication in orthomodular posets
AU  - Ivan Chajda
AU  - Helmut Länger
PY  - 2019
UR  - https://arxiv.org/abs/1907.10539
ID  - 1907.10539
ER  -