Author/Authors :
Aaly Kologani, M. M. Hatef Higher Education Institute, Zahedan , Xin, X.L. School of Mathematics - Northwest University, Xi'an, China , Mohseni Takallo, M. Faculty of Mathematical Sciences - Shahid Beheshti University, Tehran , Jun, Y.B. Department of Mathematics Education - Gyeongsang National University, Jinju, Korea , Borzooei, Rajab Ali Faculty of Mathematical Sciences - Shahid Beheshti University, Tehran
Abstract :
In this paper, we dened the notions of (2; 2)-fuzzy im-
plicative deductive systems and (2;2 _ q)-fuzzy implicative deductive
systems of hoops and studied some traits and tried to dene some de-
nitions that are equivalent to them. Thus by using the notion of (2;2)-
fuzzy deductive system of hoop, we dened a new congruence relation
on hoop and show that the algebraic structure that is made by it is a
Brouwerian semilattice, Heyting algebra and Wajesberg hoop.
Keywords :
Hoop , fuzzy implicative deductive system , Brouwerian semilattice , Heyting algebra , Wajesberg hoop