TY  - RPRT
TI  - Implication Algebras and Implication Semigroups of Binary Relations
AU  - Andrew Lewis-Smith Jaš Šemrl
PY  - 2023
UR  - https://arxiv.org/abs/2301.02266
ID  - 2301.02266
ER  -