Follow
Implication Algebras and Implication Semigroups of Binary Relations. (arXiv:2301.02266v1 [math.LO]) http://arxiv.org/abs/2301.02266
Implication Algebras and Implication Semigroups of Binary Relations. (arXiv:2301.02266v1 [math.LO]) http://arxiv.org/abs/2301.02266