@misc{indiciae856cf4bd7010,
  title = {How to introduce the connective implication in orthomodular posets},
  author = {Ivan Chajda and Helmut Länger},
  year = {2019},
  url = {https://arxiv.org/abs/1907.10539},
  note = {Source identifier: 1907.10539}
}