Results on hoops

Document Type : Original Article


1 Shahid Beheshti University

2 Hatef University


In this paper, by considering the notion of hoop, were introduced by Bosbach in [7, 8] under the name of complementary semigroups, we show that there are relations among hoops and some of other logical algebras such as residuated lattices, MT L-algebras, BL-algebras, MV-algebras, BCK-algebras, equality algebras, EQ-algebras, R0-algebras, Hilbert algebras, Heyting algebras, Hertz algebras, lattice implication algebras and fuzzy implication algebras. The aim of this paper is to find that under what conditions hoops are equivalent to these logical algebras.