Author/Authors :
Borzooei, A.R Department of Mathematics - Shahid Beheshti University, Tehran, Iran , Aaly Kologani, M Hatef Higher Education Institute, Zahedan, Iran
Abstract :
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, MTL-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 nd that under what
conditions hoops are equivalent to these logical algebras.
Keywords :
Hilbert algebra , EQ-algebra , equality algebra , residuated lattice , Hoop