State hoops
R. A. Borzooei, Mona Aaly Kologani, Omid Zahiri · Mathematica Slovaca · 2017
Abstract In this paper, we define the notions of a state ⊔-hoop and a state-morphism ⊔-hoop extending the language of hoop by adding a unary operator and investigate some properties of them. Also, we extend state ⊔-hoop to state hoop and study the relation between state hoops and state BL-algebras, MV-algebras and BCK-algebras.