\documentclass{article}
\oddsidemargin    =0.5cm \evensidemargin   =0.5cm \textwidth =15cm
\textheight       =21.5cm \headheight       =0cm



 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  \documentclass{article}
%   \evensidemargin 20mm \oddsidemargin\evensidemargin
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 \usepackage{amsmath}  \usepackage{amsthm}
 \usepackage{amssymb}  \usepackage{rotate}
 \usepackage{graphicx} \usepackage{mathrsfs}
 \usepackage[colorlinks,urlcolor=blue]{hyperref}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% \usepackage[mathlines]{lineno} \linenumbers
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
   %% \marginparwidth 0pt
% \renewcommand{\baselinestretch}{1.2}
   \theoremstyle{definition}
\newtheorem{definition}{Definition}[section]
\newtheorem{example}[definition]{Example}
\newtheorem{remark}[definition]{Remark}
\theoremstyle{plain}
\newtheorem{theorem}[definition]{Theorem}
\newtheorem{lemma}[definition]{Lemma}
\newtheorem{proposition}[definition]{Proposition}
\newtheorem{corollary}[definition]{Corollary}
\newtheorem*{conjecture}{Conjecture}
\newtheorem*{question}{Question}
%\numberwithin{equation}{section}
 \def\LomH{\mathfrak{X}}    \def\LomK{K}
  \def\LomF{\mathfrak{F}}
 \def\op{\bullet}
 \def\oq{\twoheadrightarrow}
 \def\le{\curlyeqprec}   \def\ge{\curlyeqsucc}
 \def\x{\omega}  \def\y{\sigma}  \def\z{\kappa} 
 \def\a{e} \def\b{u}  \def\c{i}   \def\d{o}  \def\t{\varepsilon}
 \def\k{\iota}
%DD \def\cc{\circ}
%DD \def\PI{positive implicative }
%%%%%%%%%%%%%%%%%%%%%%%
%DD  \def\kap{\fzyl}
 \def\fzyl{\varrho}
 \def\fzym{\varsigma}    \def\fzyn{\kappa}
\def\ivq{\in\! \vee \, {q}}
\def\iwq{\in\! \wedge \, {q}}
  \def\ve{\varepsilon}   \def\vt{\delta}
  \def\S{\mathcal{S}}

\begin{document}
	\title{\bf Constructing a Heyting semilattice that has Wajesberg property by using fuzzy  implicative deductive systems of Hoops}
	\author{\bf M. Aaly Kologani$^{(a)}$, X. L. Xin$^{(b)}$, M. Mohseni Takallo$^{(c)}$\\  {\bf  Y. B. Jun$^{(d,c)}$, R. A. Borzooei$^{(c)}$ }\\
	{\small\em $^{(a)}$Hatef Higher Education Institute, Zahedan, Iran}\\
		{\small\em  mona4011@gmail.com}\\
		{\small\em $^{(b)}$School of Mathematics, Northwest University, Xi'an, 710127, P.R. China}\\
{\small\em   xlxin@nwu.edu.cn }\\ 
		{\small\em $^{(c)}$Department of Mathematics, Faculty of Mathematical Sceiences, Shahid Beheshti University, Tehran, Iran}\\
		{\small\em borzooei@sbu.ac.ir,  mohammad.mohseni1122@gmail.com}\\
		{\small $^{(d)}$Department of Mathematics Education, Gyeongsang National University,  Jinju 52828, Korea}\\
		{\small   skywine@gmail.com }
		}
	\date{}
	\maketitle
	
	\begin{abstract}
In this paper, we defined the notions of $(\in,\in)$-fuzzy implicative deductive systems and $(\in,\in\vee q)$-fuzzy implicative deductive systems of hoops and studied some traits and tried to define some definitions that are equivalent to them. Thus by using the notion of $(\in,\in)$-fuzzy deductive system  of hoop, we defined 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.
\end{abstract}


\noindent
{\small\bf AMS Mathematics Subject Classification (2010): }  03G25, 06A12, 06B99, 06D72.\\
{\small\bf Keywords:} {\small  Hoop, fuzzy implicative deductive system,
 Brouwerian semilattice, Heyting algebra, Wajesberg hoop.}



\section{Introduction}
One of the logical algebras that is studied by many mathematicians these days is an algebraic structurewhich is called hoop and was introduced by B. Bosbach in \cite{FM64-257, FM69-1}. This algebraic structure can easily be considered as an extension for BL-algebras and MV-algebras, and there are many examples that show that this algebraic structure is different from the residuated lattices.
To learn more about hoops, we suggest that readers study the articles such as
 \cite{AU43-233, LCS28-219, JARPM6-72, RM29-25, JARPM5-1,  IJPAM38-631}.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%
It is safe to say that most of the studies and researches in the field of hoop algebras has been done by Aaly and Borzooei, who have studied this algebraic structure in various fields.  For example they studied different deductive systems in \cite{JARPM6-72}, they have studied how this deductive systems relate to each other, the quotient structure produced by them, and  etc. on this algebra.
%%%%%%%%%%%%%%%%%%%%%%%%%%%
The main idea of using and defining the concept of  fuzzy point as fuzzy sets is expressed in the article  \cite{JMAA76-571} which was then examined in various articles and in various fields, such as  logical algebras. For example, Jun in  \cite{BKMS42-703} introduced fuzzy subalgebras in of $BCK/BCI$-algebras and called it $(\alpha, \beta)$-fuzzy subalgerbas of $BCK/BCI$-algebras. In fact, first this concept was studied in the field of sub-algebras and different types of it were introduced and studied, then this idea was studied in the field of special sub-algebras such as ideals and filters. Therefore, its importance and application in various fields led us to examine these concepts in the field of hoop algebras.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

In this paper, we defined the notions of $(\in,\in)$-fuzzy implicative deductive systems and $(\in,\in\vee q)$-fuzzy implicative deductive systems of hoops and studied some traits and tried to define some definitions that are equivalent to them. Thus by using the notion of $(\in,\in)$-fuzzy deductive system  of hoop, we defined 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.

\section{Preliminaries}
A {\it hoop} is an algebra $(\LomH, \op, \oq, 1)$ where $(\LomH, \op, 1)$ is a commutative monoid and, for each $\x,\y,\z\in \LomH$,
\begin{enumerate}
  \item[\rm ($\LomH_1$)] $\x\oq \x=1$,
  \item[\rm ($\LomH_2$)] $\x\op (\x\oq \y)=\y\op (\y\oq \x)$,
  \item[\rm ($\LomH_3$)] $\x\oq (\y\oq \z)=(\x\op \y)\oq \z$.
\end{enumerate}

A hoop $(\LomH,\le)$ is a poset where $\x\le {\y}$ iff  $\x\oq{\y}=1$.  A {\it bounded} hoop $\LomH$ is  an algbebraic structure that has the least element such as  $0\in \LomH$ such that $0\le {\x}$, for every $\x\in \LomH$. Consider $\x^{0}=1,~\x^{n}= \x^{n-1}\op  \x$, for each $n\in \mathbb{N}$. The operation $"~^{\sim}~"$ is defined on a bounded hoop $\LomH$ by, $\x{^{\sim}}=\x\oq 0$, for every $\x\in \LomH$. A non-empty subset $\S$ of $\LomH$ is called a {\em sub-hoop} if for every $\x,\y\in \S$, 
 $$\x\op \y\in \S \ \mbox{and} \ \x\oq \y\in \S.$$

Clearly, each sub-hoop contains the constant $1$.

\textbf{Note.} From now on the symbol $\LomH$ means a hoop such as $(\LomH, \op, \oq, 1)$.
\begin{proposition}\label{2.1}{\em \cite{FM64-257,012}}
If $\LomH$ is bounded, then  for each $\x,\y,\z\in \LomH$, we have:\\
$(i)$ \ \ $(\LomH,\le )$ is a meet-semilattice,\\
$(ii)$ \ \ $\x\op {\y}\le {\z}$ iff  ${\x\le {\y\oq{\z}}}$,\\
$(iii)$ \ \ $\x\op {\y}\le {\x,\y}$ and $\x^{n}\le  \x$, for any $n\in \mathbb{N}$,\\
$(iv)$ \ \ $\x\le  \y\oq \x$,\\
$(v)$ \ \ $1\oq \x=\x$ and $\x\oq 1=1$,\\
$(vi)$ \ \  $\x\le  (\x\oq \y) \oq \y$,\\
$(vii)$ \ \ $\x\oq \y\le  (\y\oq \z) \oq (\x\oq \z)$,\\
$(viii)$ \ \ $\x\le \y$ implies $\x\op  \z\le  \y\op  \z$, $\z\oq \x\le  \z\oq \y$ and $\y\oq \z\le  \x\oq \z$,\\
$(ix)$ \ \  $((\y\oq \x)\oq \x)\oq \x=\y\oq \x$,\\
$(x)$ \ \ $\x^{\sim}\le  \x\oq \y$ and $\x^{\sim\sim\sim}=\x^{\sim}$.
\end{proposition}
\begin{definition}\label{2.2}{\cite{012}}
For each $\x,\y\in \LomH$, define,
$$\x\vee {\y}=((\x\oq{\y})\oq{\y})\wedge((\y\oq{\x})\oq{\x}).$$
Then $\LomH$ is said to be a {\em $\vee$-hoop} if $\vee$ is the join operation and $(\LomH,\vee,\wedge)$ is a distributive lattice.
\end{definition}
A non-empty subset $\LomF$ of $\LomH$ is said to be a {\it deductive system} of $\LomH$ if, for every $\x,\y\in \LomF$, $\x\op \y\in \LomF$ and if for each $\y\in \LomH$ and $\x\in \LomF$, $\x\le \y$, then $\y\in \LomF$ (See \cite{012}).\\
Also, $\emptyset\neq\LomF\subseteq\LomH$ is said to be an {\it implicative deductive system} of $\LomH$ if $1\in \LomF $ and, for each $\x,\y,\z\in \LomH$,  $\x\oq ((\y\oq \z)\oq \y)\in \LomF \ \mbox{and} \ \x\in \LomF$ imply $\y\in \LomF$ (See \cite{JARPM6-72}).

\begin{definition}\label{2.2}\cite{013}
 Consider $(\alpha, \beta)$ is any one of  $(\in,$ $\in)$ and $(\in,$ $\ivq)$.
%%%%%%%%%%%%%%%%%%%%%%%%
 A fuzzy set $\fzyl$ in $\LomH$ is said to be an
 {\it $(\alpha, \beta)$-fuzzy deductive system } of $\LomH$  if 
  \begin{align}
  &\label{qcP31-181226-1}
   (\forall \x\in \LomH)(\forall \t\in (0,1])
   (\x_{\t}\alpha \fzyl ~\Rightarrow ~1_{\t}\beta \fzyl),
  \\&\label{qcP31-181226-2}
      (\forall \x,\y\in \LomH)(\forall \t,\k\in (0,1])
    (\x_{\t}\alpha \fzyl, ~(\x\oq \y)_{\k}\alpha \fzyl ~\Rightarrow \y_{\min \{\t,\k\}}\beta \fzyl).
 \end{align}
 \end{definition}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
A fuzzy set $\fzyl$ in a set $Z$ like
  \begin{equation*}
   \fzyl(\y):=\left\{\begin{array}{ll}
         \t\in (0,1] &{\rm if}\;\, \y=\x, \\
         0 &{\rm if}\;\, \y\ne \x,
 \end{array}\right.
 \end{equation*}
is called  a \emph{fuzzy point} with support $\x$ and $\t$
and is shown by $\x_{\t}.$

Suppose $\alpha \in \{\in, {q}, \ivq, \iwq \}.$ Then for a fuzzy point $\x_{\t}$ and a fuzzy set $\fzyl$ in $Z$ we define $\x_{\t}{\alpha}\fzyl$ as follows:

For $\x\in Z$ and $\t\in [0,1]$, $\x_{\t}\in \fzyl$ (resp. $\x_{\t} {q}\fzyl$) which means 
$\fzyl(\x)\ge \t$ (resp. $\fzyl(\x)+\t\succ 1$), and  $\x_{\t}$ is
said to \emph{belong to} (resp. \emph{be quasi-coincident with}) a
fuzzy set $\fzyl.$

Also, we write $\x_{\t}\ivq \, \fzyl$ (resp. $\x_{\t}\iwq \, \fzyl$) where
$\x_{\t}\in \fzyl$ or $\x_{\t} {q}\fzyl$ (resp. $\x_{\t}\in \fzyl$ and $\x_{\t}{q}\fzyl$).

For any fuzzy set $\fzyl$ in $\LomH$ and $\t\in (0,1]$, we introduce the next subsets of $\LomH$ and called them
 {\it $\in$-level set},
  {\it$q$-set} and  {\it $\ivq$-set}, respectively.
 \begin{align*}\begin{array}{l}
   \text{\rm   $\mathcal{U}(\fzyl;\t):=\{\x\in \LomH \mid \fzyl(\x)\ge  \t\},$}\\[1mm]
   \text{\rm $\fzyl_q^{\t}:=\{\x\in \LomH \mid \x_{\t} \, q\, \fzyl\},$}\\[1mm]
   \text{\rm  $\fzyl_{\ivq}^{\t}:=\{\x\in \LomH \mid \x_{\t} \ivq \fzyl\}$.}
 \end{array}\end{align*}
 \begin{corollary}\label{3.6}{\em \cite{013}}
Each $(\in,\in)$-fuzzy deductive system of $\LomH$ such as $\fzyl$ satisfies the next condition:
\begin{align}
     (\forall \ \x,\y\in \LomH)(\mbox{if} \ \x\le  \y, \ \mbox{then} \ \fzyl(\x)\le  \fzyl(\y))
   \end{align}
\end{corollary}
\begin{theorem}\label{2.3}{\em \cite{013}}
Consider $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$, $\x,\y\in \LomH$ and $\t,\k,l,m\in (0,1]$. Define
$$\x\approx_{\fzyl} \y~\mbox{iff }~(\x\oq \y)_{\t}\in \fzyl~\mbox{and}~(\y\oq \x)_{\k}\in \fzyl. $$
$\approx_{\fzyl}$ is a congruence relation on $\LomH$. Then $\frac{\LomH}{\approx_{\fzyl}}=\{[\a]_{\fzyl}\mid \a\in \LomH\}$ and operations $\otimes$ and $\rightsquigarrow$ on $\frac{\LomH}{\approx_{\fzyl}}$ are  as follows:
$$[\a]_{\fzyl}\otimes [\b]_{\fzyl}=[{\a\op  \b}]_{\fzyl}~\mbox{and}~[\a]_{\fzyl}\rightsquigarrow [\b]_{\fzyl}=[{\a\oq \b}]_{\fzyl}.$$
Then $(\frac{\LomH}{\approx_{\fzyl}},\otimes,\rightsquigarrow,[1]_{\fzyl})$ is a hoop where
$$[\a]_{\fzyl}\le  [\b]_{\fzyl}~\mbox{iff }~ (\a\oq \b)_{\t}\in \fzyl,~\mbox{for any}~\a,\b\in \LomH~\mbox{and}~\t\in (0,1].$$
\end{theorem}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{$(\alpha,$ $\beta)$-fuzzy implicative deductive systems of hoops}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Here, we introduce $(\alpha,\beta)$-fuzzy implicative deductive systems for $(\alpha,\beta)\in\{(\in,\in),(\in,\ivq)\}$ of hoops and we study their traitss and find some equivalence definitions of them. Moreover, we study the relation among $(\alpha,\beta)$-fuzzy implicative with $(\alpha,\beta)$-fuzzy deductive system  one.\\

\textbf{Note.} Set $\LomH$ is a bounded hoop and $\fzyl$ is a fuzzy set in $\LomH$.


\begin{definition}\label{3.1}
 Assume $(\alpha, \beta)$ is  one of  $(\in,$ $\in)$ and $(\in,$ $\ivq)$.
%%%%%%%%%%%%%%%%%%%%%%%%
  Then $\fzyl$  is said to be an
{\it $(\alpha, \beta)$-fuzzy implicative deductive system} of $\LomH$  if next assertions are valid.
  \begin{align}
  &\label{qcP31-181226-1}
   (\forall \x\in \LomH)(\forall \t\in (0,1])
   (\x_{\t}\alpha \fzyl ~\Rightarrow ~1_{\t}\beta \fzyl),
  \\&\label{qcP31-181226-2}
      (\forall \x,\y\in \LomH)(\forall \t,\k\in (0,1])
    (\x_{\t}\alpha \fzyl, ~(\x\oq ((\y\oq \z)\oq \y))_{\k}\alpha \fzyl ~\Rightarrow \y_{\min \{\t,\k\}}\beta \fzyl).
 \end{align}
 \end{definition}

\begin{example}\label{3.2}
Suppose $\LomH=\{0,\a,\b,1\}$. Then the operations $\op $ and $\oq$ on $\LomH$ are defined by the next tables:
\[\begin{array}{ll}
\mbox{ } & \hspace{1cm}\mbox{ }\\
\begin{tabular}{lccccccr}
  % after \\: \hline or \cline{col1-col2} \cline{col3-col4} ...
  $\oq$ & \vline & 0 & \a & \b & 1 \\\hline
  0 & \vline & 1 & 1 & 1 & 1 \\
  \a & \vline & \a & 1 & 1 & 1 \\
  \b & \vline & 0 & \a & 1 & 1 \\
  1 & \vline & 0 & \a & \b & 1 \\
\end{tabular}
&\hspace{1cm}
\begin{tabular}{lccccccr}
  % after \\: \hline or \cline{col1-col2} \cline{col3-col4} ...
  $\op $ & \vline & 0 & \a & \b & 1 \\\hline
  0 & \vline & 0 & 0 & 0 & 0 \\
  \a & \vline & 0 & 0 & \a & \a \\
  \b & \vline & 0 & \a & \b & \b \\
  1 & \vline & 0 & \a & \b & 1 \\
\end{tabular}
\end{array}\]\\
Thus $(\LomH,\op ,\oq,0,1)$ is a bounded hoop. Define $\fzyl(0)=0.6,~\fzyl(\a)=0.4,~\fzyl(\b)=0.55~\mbox{and}~\fzyl(1)=0.8$. Obviously, $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system of $\LomH$.
\end{example}


\begin{theorem}\label{3.3}
$\fzyl$  is an $(\in, \in)$-fuzzy implicative deductive system  of $\LomH$ iff  
  \begin{align}
    &\label{}
    (\forall \x\in \LomH)(\fzyl(1)\ge \fzyl(\x)),
    \\&\label{b}
    (\forall \x,\y\in \LomH)(\fzyl(\y)\ge \min \{\fzyl(\x), \fzyl(\x\oq ((\y\oq \z)\oq \y))\}).
  \end{align}
\end{theorem}

\begin{proof}
$(\Rightarrow)$ Suppose $\x\in \LomH$ and $\t\in (0,1]$ such that $\fzyl(\x)=\t$. From $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$, we obtain $\fzyl(1)\ge  \t=\fzyl(\x)$. So, for each $\x\in \LomH$, $\fzyl(1)\ge  \fzyl(\x)$. Consider $\x,\y,\z\in \LomH$ and $\t,\k\in (0,1]$ such that $\fzyl(\x)\ge  \t$ and $\fzyl(\x\oq((\y\oq \z)\oq \y))\ge  \k$, and so $\x_{\t}\in \fzyl$ and $(\x\oq((\y\oq \z)\oq \y))_{\k}\in \fzyl$. Moreover, $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$, $\y_{\min\{\t,\k\}}\in \fzyl$, thus $\fzyl(\y)\ge  \min\{\t,\k\}$. Hence, $$\min\{\fzyl(\x\oq((\y\oq \z)\oq \y)),\fzyl(\x)\}\le  \fzyl(\y).$$

$(\Leftarrow)$ Assume $\x\in \LomH$ and $\t\in (0,1]$ such that $\x_{\t}\in \fzyl$. Then $\fzyl(\x)\ge  t$. From $\t\le  \fzyl(\x)\le \fzyl(1)$, we consequence $1_{\t}\in \fzyl$. Now, suppose $\x_{\t}\in \fzyl$ and $(\x\oq((\y\oq \z)\oq \y))_{\k}\in \fzyl$, for every $\x,\y,\z\in \LomH$ and $\t,\k\in (0,1]$. Then by hypothesis, $$\min\{\t,\k\}\le \min\{\fzyl(\x\oq((\y\oq \z)\oq \y)),\fzyl(\x)\}\le  \fzyl(\y),$$ thus $\min\{\t,\k\}\le  \fzyl(\y)$. Hence, $\y_{\min\{\t,\k\}}\in \fzyl$. Therefore, $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$.
\end{proof}

\begin{theorem}\label{3.4}
Each $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$.
\end{theorem}
\begin{proof}
If $\x_{\t}\in \fzyl$, then $1_{\t}\in \fzyl$, for every $\x\in \LomH$ and $\t\in (0,1]$. Assume $\x,\y\in \LomH$ and $\t,\k\in (0,1]$ such that $\x_{\t}\in \fzyl$ and $(\x\oq \y)_{\k}\in \fzyl$. So, $\x_{\t}\in \fzyl$ and $(\x\oq ((\y\oq 1)\oq \y))_{\k}\in \fzyl$. From $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$, $\y_{\min\{\t,\k\}}\in \fzyl$. Thus, $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$.
\end{proof}
Next example shows that the converse of Theorem \ref{3.4}, does not hold.
\begin{example}\label{3.5}
 Consider $\LomH =\{0,\a,\b,\c,\d,1\}$. Define  operations $\op$ and $\oq$ on $\LomH$ by next tables:
 \[\begin{array}{ll}
\mbox{ } & \hspace{1cm}\mbox{ }\\
\begin{tabular}{lccccccr}

  % after \\: \hline or \cline{col1-col2} \cline{col3-col4} ...
  $\oq$ & \vline & 0 & \a & \b & \c & \d &1 \\\hline
  0 & \vline & 1 & 1 & 1 & 1 & 1 & 1\\
  \a & \vline & \c & 1 & \b & \c & \b & 1\\
  \b & \vline & \d & \a & 1 & \b & \a & 1\\
  \c & \vline & \a & \a & 1 & 1 & \a & 1\\
  \d & \vline & \b & 1 & 1 & \b & 1 & 1\\
  1 & \vline & 0 & \a & \b & \c & \d & 1\\

\end{tabular}
&\hspace{1cm}
\begin{tabular}{lccccccr}

  % after \\: \hline or \cline{col1-col2} \cline{col3-col4} ...
  $\op $ & \vline & 0 & \a & \b & \c & \d & 1 \\\hline
  0 & \vline & 0 & 0 & 0 & 0 & 0 & 0\\
  \a & \vline & 0 & \a & \d & 0 & \d & \a\\
  \b & \vline & 0 & \d & \c & \c & 0 & \b\\
  \c & \vline & 0 & 0 & \c & \c & 0 & \c\\
  \d & \vline & 0 & \d & 0 & 0 & 0 & \d\\
  1 & \vline & 0 & \a & \b & \c & \d & 1\\

\end{tabular}
\end{array}\]\\

  So $(\LomH, \op, \oq,0, 1)$ is a bounded hoop.
   %%%%%%%%%%%%%%%%%%%%%%%%%
 Define  $\fzyl$ in $\LomH$ as follows:
  \begin{align*}
    \fzyl : \LomH \oq [0,1],
    ~x\mapsto  \left\{\begin{array}{ll}
        \text{\rm $0.5$ ~if ~$\x=0$,}\\
        \text{\rm $0.7$ ~if ~$\x=\a$,}\\
         \text{\rm $0.3$ ~if ~$\x=\b$,}\\
         \text{\rm $0.5$ ~if ~$\x=\c$,}\\
         \text{\rm $0.3$ ~if ~$\x=\d$,}\\
          \text{\rm $0.8$ ~if ~$\x=1$}
  \end{array}\right.
  \end{align*}
Obviously, $\fzyl$ is an $(\in, \in)$-fuzzy implicative deductive system  of $\LomH$ which is not an $(\in, \in)$-fuzzy deductive system  of $\LomH$. Because
 $$0.3=\fzyl(\b)\ngeq \min\{\fzyl(0),\fzyl(0\oq \b)\}=\min\{0.5,0.8\}.$$
\end{example}

\begin{corollary}\label{3.96}
Each $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$ like $\fzyl$ satisfies in the next condition:
\begin{align}
     (\forall \ \x,\y\in \LomH)(\mbox{if} \ \x\le  \y, \ \mbox{then} \ \fzyl(\x)\le  \fzyl(\y)).
   \end{align}
\end{corollary}

\begin{theorem}\label{3.7}
Suppose $\fzyl$ be an $(\in,\in)$-fuzzy deductive system  of $\LomH$. Then, the next equivalent statements hold for any $\x,\y,\z\in \LomH$ and $\t,\k\in (0,1]$:\\
$(i)$ \ \ $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system ,\\
$(ii)$ \ \ if $((\x\oq \y)\oq \x)_{\t}\in \fzyl$, then $\x_{\t}\in \fzyl$, \\
$(iii)$ \ \ $(((\x\oq \y)\oq \x)\oq \x)_{\t}\in \fzyl$,\\
$(iv)$ \ \ $((\x^{\sim}\oq \x)\oq \x)_{\t}\in \fzyl$,\\
$(v)$ \ \  if $((\x\op  \z^{\sim})\oq \y)_{\t}\in \fzyl$ and $(\y\oq \z)_{\k}\in \fzyl$, then $(\x\oq \z)_{\min\{\t,\k\}}\in \fzyl$,\\
$(vi)$ \ \ if $((\x\op  \y^{\sim})\oq \y)_{\t}\in \fzyl$, then $(\x\oq \y)_{\t}\in \fzyl$.
\end{theorem}
\begin{proof}
Let $\x,\y,\z\in \LomH$ and $\t,\k\in (0,1]$. Then\\
$(i)\Rightarrow(ii)$ Suppose $((\x\oq \y)\oq \x)_{\t}\in \fzyl$. From $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$, $1_{\t}\in \fzyl$, we consequence $(1\oq((\x\oq \y)\oq \x))_{\t}\in \fzyl$ and $1_{\t}\in \fzyl$. Thus, by (i), $\x_{\t}\in \fzyl$. \\
$(ii)\Rightarrow (i)$ Let $\x_{\t}\in \fzyl$ and $(\x\oq ((\y\oq \z)\oq \y))_{\k}\in \fzyl$. Moreover, $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$, we obtain $((\y\oq \z)\oq \y)_{\min\{\t,\k\}}\in \fzyl$. By (ii), we consequence that $\y_{\min\{\t,\k\}}\in \fzyl$. Therefore, $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system .\\
$(i)\Rightarrow(iii)$ Let $\x_{\t}\in \fzyl$. Since $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$, $1_{\t}\in \fzyl$. Moreover, by Proposition \ref{2.1}, we have
\begin{eqnarray*}
&&\x\oq[((((\x\oq \y)\oq \x)\oq \x)\oq \z)\oq (((\x\oq \y)\oq \x)\oq \x)]\\
&=&((((\x\oq \y)\oq \x)\oq \x)\oq \z)\oq[\x\oq (((\x\oq \y)\oq \x)\oq \x)]\\
&=&((((\x\oq \y)\oq \x)\oq \x)\oq \z)\oq[((\x\oq \y)\oq \x)\oq (\x\oq \x)]\\
&=&1
\end{eqnarray*}
Then $$(\x\oq[((((\x\oq \y)\oq \x)\oq \x)\oq \z)\oq (((\x\oq \y)\oq \x)\oq \x)])_{\t}=1_{\t}\in \fzyl.$$ Since $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system , we get that $(((\x\oq \y)\oq \x)\oq \x)_{\t}\in \fzyl$.\\
$(iii)\Rightarrow (i)$ Let $\x_{\t}\in \fzyl$ and $(\x\oq ((\y\oq \z)\oq \y))_{\k}\in \fzyl$. As $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$, we get $((\y\oq \z)\oq \y)_{\min\{\t,\k\}}\in \fzyl$. Moreover, by (iii), $(((\y\oq \z)\oq \y)\oq \y)_{\min\{\t,\k\}}\in \fzyl$, we get that $\y_{\min\{\t,\k\}}\in \fzyl$. Hence, $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system .\\
$(iii)\Rightarrow (iv)$ Set $\y=0$ in (iii).\\
$(iv)\Rightarrow (iii)$ Assume $((\x^{\sim}\oq \x)\oq \x)_{\t}\in \fzyl$. By Proposition $\ref{2.1}$(x) and (viii), $\x^{\sim}\le  \x\oq \y$, and so $(\x\oq \y)\oq \x\le  \x^{\sim}\oq \x$ and also we have $$(\x^{\sim}\oq \x)\oq \x\le  ((\x\oq \y)\oq \x)\oq \x.$$ From $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  and $((\x^{\sim}\oq \x)\oq \x)_{\t}\in \fzyl$,  by Corollary \ref{3.6}, $(((\x\oq \y)\oq \x)\oq \x)_{\t}\in \fzyl$.\\
$(v)\Rightarrow (vi)$ Consider $((\x\op  \y^{\sim})\oq \y)_{\t}\in \fzyl$. As $(\y\oq \y)_{\t}=1_{\t}\in \fzyl$,  by (v), $(\x\oq \y)_{\t}\in \fzyl$.\\
$(vi)\Rightarrow (v)$ Assume $((\x\op  \z^{\sim})\oq \y)_{\t}\in \fzyl$ and $(\y\oq \z)_{\k}\in \fzyl$. From $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$,  by Proposition \ref{2.1}(vii) and Corollary \ref{3.6},
$$((\x\op  \z^{\sim})\oq \y)\le (\y\oq \z)\oq ((\x\op  \z^{\sim})\oq \z),$$ thus $((\y\oq \z)\oq ((\x\op  \z^{\sim})\oq \z))_{\t}\in \fzyl$. Hence, $((\x\op  \z^{\sim})\oq \z)_{\min\{\t,\k\}}\in \fzyl$. By (vi), we have $(\x\oq \z)_{\min\{\t,\k\}}\in \fzyl$. \\
$(vi)\Rightarrow (iv)$ As $((\x^{\sim}\oq \x)\oq (\x^{\sim}\oq \x))_{\t}=1_{\t}$, we obtain $(((\x^{\sim}\oq \x)\op  \x^{\sim})\oq \x)_{\t}\in \fzyl$. Now, by (vi), $((\x^{\sim}\oq \x)\oq \x)_{\t}\in \fzyl$.\\
$(vi)\Rightarrow (i)$ Assume $(\x\oq ((\y\oq \z)\oq \y))_{\t}\in \fzyl$ and $\x_{\k}\in \fzyl$. From $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$, we obtain $((\y\oq \z)\oq \y)_{\min\{\t,\k\}}\in \fzyl$. Moreover, by Proposition $\ref{2.1}$(x), $\y^{\sim}\le  \y\oq \z$. Also, by Proposition $\ref{2.1}$(viii), $(\y\oq \z)\oq \y\le  \y^{\sim}\oq \y$. As $\fzyl$ is an $(\in,\in)$-fuzzy deductive system  of $\LomH$ and $((\y\oq \z)\oq \y)_{\min\{\t,\k\}}\in \fzyl$,  by Corollary \ref{3.6}, $(\y^{\sim}\oq \y)_{\min\{\t,\k\}}\in \fzyl$, and so $(1\oq (\y^{\sim}\oq \y))_{\min\{\t,\k\}}\in \fzyl$, then by (vi), $(1\oq \y)_{\min\{\t,\k\}}=\y_{\min\{\t,\k\}}\in \fzyl$. Hence, $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$.\\
$(i)\Rightarrow (vi)$ Suppose $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$. If $((\x\op  \y^{\sim})\oq \y)_{\t}\in \fzyl$, then by Proposition $\ref{2.1}$(iv) and (viii), $\y\le  \x\oq \y$ and so $(\x\oq \y)\oq 0\le  \y\oq 0$. Thus $$\y^{\sim}\oq (\x\oq \y)\le  (\x\oq \y)^{\sim}\oq (\x\oq \y).$$ From $((\x\op  \y^{\sim})\oq \y)_{\t}=(\y^{\sim}\oq (\x\oq \y))_{\t}\in \fzyl$, by Corollary \ref{3.6}, $((\x\oq \y)^{\sim}\oq (\x\oq \y))_{\t}\in \fzyl$. Hence, $$(1\oq (((\x\oq \y)\oq 0)\oq (\x\oq \y)))_{\t}\in \fzyl.$$ As $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  and $1_{\t}\in \fzyl$, we consequence $(\x\oq \y)_{\t}\in \fzyl$.
\end{proof}

\begin{theorem}\label{3.8}
  If $\fzyl$ is a non-zero $(\in, \in)$-fuzzy implicative deductive system  of $\LomH$, then the set
   \begin{align}\label{qcT36-181226}
     \LomH_0:=\{\x\in \LomH\mid \fzyl(\x)\ne 0\}
   \end{align}
   is an implicative deductive system  of $\LomH$.
\end{theorem}

\begin{proof}
Assume $\x\in \LomH_{0}$. From $\fzyl(\x)\neq 0$, we consequence that there is $\t\in (0,1]$ such that $\fzyl(\x)\ge \t$. As $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$ and $\x_{\t}\in \fzyl$, we obtain $1_{\t}\in \fzyl$. Thus $\fzyl(1)\ge \fzyl(\x)=\t\neq 0$, so $1\in \LomH_{0}$. Suppose $\x,\x\oq ((\y\oq \z)\oq \y)\in \LomH_{0}$. So, there is $\t,\k\in (0,1]$, where $\fzyl(\x)\ge \t$ and $\fzyl(\x\oq ((\y\oq \z)\oq \y))\ge \k$. Hence $\x_{\t}\in \fzyl$ and $(\x\oq ((\y\oq \z)\oq \y))_{\k}\in \fzyl$. By Definition \ref{3.1}, $\y_{\min\{\t,\k\}}\in \fzyl$, thus $\fzyl(\y)\ge \min\{\t,\k\}\neq 0$. So $\y\in \LomH_{0}$. Hence, $\LomH_{0}$ is an implicative deductive system  of $\LomH$.
\end{proof}
\begin{proposition}\label{3.9}
Consider $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$. For every $\t\in (0,1]$, $\fzyl_q^\t$ is an implicative deductive system  of $\LomH$.
\end{proposition}
\begin{proof}
Assume $\x\in \fzyl_q^\t$, for each $\x\in \LomH$ and $\t\in (0,1]$. Then $\x_{\t}q\fzyl$, and so $\fzyl(\x)+\t\succ 1$ Thus, $\fzyl(\x)\succ 1-\t$. By hypothesis, from $\x_{1-\t}\in \fzyl$, we obtain $1_{1-\t}\in \fzyl$, so $\fzyl(1)\succ 1-\t$. Thus, $\fzyl(1)+\t\succ1 $ and $1\in \fzyl_q^\t$. Consider $\x, \x\oq((\y\oq \z)\oq \y)\in \fzyl_q^\t$, for each $\x,\y,\z\in \LomH$. So $$\fzyl(\x)+\t\succ1  \ \ , \ \ \fzyl(\x\oq((\y\oq \z)\oq \y))+\t\succ 1. $$ Thus $$\fzyl(\x)\succ 1-\t \ \ , \ \ \fzyl(\x\oq((\y\oq \z)\oq \y))\succ 1-\t.$$ As $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$, we obtain $\fzyl(\y)\succ 1-\t$ and $\fzyl(\y)+\t\succ 1 $. Thus, $\y\in \fzyl_q^\t$. Hence, $\fzyl_q^\t$ is an implicative deductive system  of $\LomH$.
\end{proof}

\begin{corollary}\label{3.10}
Suppose $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$. Thus  for every $\t\in (0,1]$, $\fzyl_{\ivq}^\t$ is an implicative deductive system  of $\LomH$.
\end{corollary}
\begin{proof}
Using Theorem \ref{3.8} and Proposition \ref{3.9}
\end{proof}

\begin{proposition}\label{3.11}
Assume $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$. Thus, for every $\x,\y\in \LomH$ and $\t\in (0,1]$, \\
$(i)$ \ \ If $(\x\oq (\x\oq \y))_{\t}\in \fzyl$, then $(\x\oq \y)_{\t}\in \fzyl$.\\
$(ii)$ \ \ If $(\z\oq(\y\oq \x))_{\t}\in \fzyl$, then $((\z\oq \y)\oq(\z\oq \x))_{\t}\in \fzyl$.
\end{proposition}
\begin{proof}
$(i)$ \ \ Consider   $(\x\oq(\x\oq \y))_{\t}\in \fzyl$, for each $\x,\y\in \LomH$ and $\t\in (0,1]$. By Proposition \ref{2.1}(vii),  $$\x\oq(\x\oq \y)\le  ((\x\oq \y)\oq \y)\oq (\x\oq \y).$$ Also, by Corollary \ref{3.6}, $$((\x\oq(\x\oq \y))\oq(((\x\oq \y)\oq \y)\oq (\x\oq \y)))_{\t}=1_{\t}\in \fzyl.$$  Moreover, $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$, so $(\x\oq \y)_{\t}\in \fzyl$.\\
$(ii)$ \ \ Suppose $(\z\oq (\y\oq \x))_{\t}\in \fzyl$, for each $\x,\y\in \LomH$ and $\t\in (0,1]$. Thus $(\y\oq (\z\oq \x))_{\t}\in \fzyl$. From $\z\op (\z\oq \y)\le \y$, by Proposition $\ref{2.1}$(viii), $$\y\oq (\z\oq \x)\le  (\z\op (\z\oq \y))\oq (\z\oq \x).$$ Moreover, $\fzyl$ is an $(\in,\in)$-fuzzy deductive system , then by Corollary \ref{3.6}, $(\z\oq((\z\oq \y)\oq (\z\oq \x)))_{\t}\in \fzyl$, thus $(\z\oq(\z\oq((\z\oq \y)\oq \x)))_{\t}\in \fzyl$. Using (i), $(\z\oq((\z\oq \y)\oq \x))_{\t}\in \fzyl$, it follows $((\z\oq \y)\oq (\z\oq \x))_{\t}\in \fzyl$.
\end{proof}

\begin{proposition}\label{3.12}
Assume $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$. If $(\y\oq \x)_{\t}\in \fzyl$, for every $\x,\y\in \LomH$ and $\t\in (0,1]$, then $$(((\x\oq \y)\oq \y)\oq ((\y\oq \x)\oq \x))_{\t}\in \fzyl.$$
\end{proposition}
\begin{proof}
Let $\x,\y\in \LomH$, $\t\in (0,1]$ and $\fzyl$ be an $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$. Suppose $(\y\oq \x)_{\t}\in \fzyl$. By Proposition $\ref{2.1}$(iv), $\x\le  ((\x\oq \y)\oq \y)\oq \x$, thus by Proposition $\ref{2.1}$(viii), $(((\x\oq \y)\oq \y)\oq \x)\oq \y\le  \x\oq \y$, and so by Proposition $\ref{2.1}$(vii) and (viii),
\begin{eqnarray*}
\y\oq \x
&\le & ((\x\oq \y)\op ((\x\oq \y)\oq \y))\oq \x\\
&=&(\x\oq \y)\oq (((\x\oq \y)\oq \y)\oq \x)\\
&\le & ((((\x\oq \y)\oq \y)\oq \x)\oq \y)\oq ((\x\oq \y)\oq \y)\oq \x)
\end{eqnarray*}
Moreover, since $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system , then by Theorems \ref{3.7} and \ref{3.4}, and Corollary \ref{3.6}, we have
\begin{eqnarray*}
\fzyl(((\x\oq \y)\oq \y)\oq \x)
&\ge & \fzyl(((((\x\oq \y)\oq \y)\oq \x)\oq \y)\oq(((\x\oq \y)\oq \y)\oq \x))\\
&\ge  &\fzyl((\x\oq \y)\oq ((\x\oq \y)\oq \y)\oq \x)\\
&=&\fzyl((\x\oq \y)\oq \y)\oq ((\x\oq \y)\oq \x))\\
&\ge & \fzyl(\y\oq \x)
\end{eqnarray*}
Hence, by Corollary \ref{3.6}, $(((\x\oq \y)\oq \y)\oq \x)_{\t}\in \fzyl$.
Also, by Proposition $\ref{2.1}$(vi) and (viii), $\x\le  (\y\oq \x)\oq \x$, and so $$(\x\oq \y)\oq \y\le  (((\y\oq \x)\oq \x)\oq \y)\oq \y.$$ Thus,
$$((((\y\oq \x)\oq \x)\oq \y)\oq \y)\oq ((\y\oq \x)\oq \x)\le  ((\x\oq \y)\oq \y)\oq ((\y\oq \x)\oq \x).$$
By Theorem \ref{3.4}, $\fzyl$ is an $(\in,\in)$-fuzzy deductive system , then by Theorem $\ref {3.3}$, $$\fzyl(((((\y\oq \x)\oq \x)\oq \y)\oq \y)\oq ((\y\oq \x)\oq \x))\le  \fzyl(((\x\oq \y)\oq \y)\oq ((\y\oq \x)\oq \x)).$$ As we prove that if $(\alpha\oq \beta)_{\t}\in \fzyl$, then $((\beta\oq \alpha)\oq \alpha)\oq \beta)_{\t}\in \fzyl$. Let $\beta=(\y\oq \x)\oq \x)$ and $\alpha=\y$. Since $(\alpha\oq \beta)_{\t}=(\y\oq ((\y\oq \x)\oq \x))_{\t}=1_{\t}\in \fzyl$ and $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system , we consequence
$$\fzyl(((\x\oq \y)\oq \y)\oq ((\y\oq \x)\oq \x))\ge\fzyl(((((\y\oq \x)\oq \x)\oq \y)\oq \y)\oq((\y\oq \x)\oq \x)).$$
Hence, $$(((\x\oq \y)\oq \y)\oq ((\y\oq \x)\oq \x))_{\t}\in \fzyl.$$
\end{proof}

\begin{theorem}\label{3.13}
Let $\fzyl$ be an $(\in,\in)$-fuzzy deductive system  of $\LomH$. If $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system , then $\frac{\LomH}{\approx_{\fzyl}}$ is a Heyting semilattice that has Wajesberg property.
\end{theorem}
\begin{proof}
$(\Rightarrow)$ By Theorem $\ref{2.3}$, $\frac{\LomH}{\approx_{\fzyl}}$ is well-define and is a hoop. Since $\frac{\LomH}{\approx_{\fzyl}}$ is a hoop, by using Proposition $\ref{2.1}$(i), $\frac{\LomH}{\approx_{\fzyl}}$ is a $\wedge$-semilattice. Thus
$$[\x]_{\fzyl}\wedge [\y]_{\fzyl}\le  [\z]_{\fzyl}~\mbox{iff }~[\x]_{\fzyl}\le  [\y]_{\fzyl}\rightsquigarrow [\z]_{\fzyl},~\mbox{for all}~\x,\y,\z\in \LomH.$$
Assume $[\x]_{\fzyl}\wedge [\y]_{\fzyl}\le  [\z]_{\fzyl}$. By  using Proposition $\ref{2.1}$(iii), $[\x]_{\fzyl}\otimes [\y]_{\fzyl}\le  [\x]_{\fzyl}\wedge [\y]_{\fzyl}\le  [\z]_{\fzyl}$. Thus, $[\x]_{\fzyl}\otimes [\y]_{\fzyl}\le  [\z]_{\fzyl}$. As $\frac{\LomH}{\approx_{\fzyl}}$ is a hoop, from Proposition $\ref{2.1}$(ii), $[\x]_{\fzyl}\le  [\y]_{\fzyl}\rightsquigarrow [\z]_{\fzyl}$.

$(\Leftarrow)$ Assume $[\x]_{\fzyl}\le  [\y]_{\fzyl}\rightsquigarrow [\z]_{\fzyl}$. From Theorem $\ref{2.3}$, $(\x\oq (\y\oq \z))_{\t}\in \fzyl$, for $\t\in (0,1]$. As $\fzyl$ is an $(\in,\in)$-fuzzy implicative deductive system,  by Proposition $\ref{3.11}$(ii), $((\x\oq \y)\oq(\x\oq \z))_{\t}\in \fzyl$. So, $[\x\oq \y]_{\fzyl}\le  [\x\oq \z]_{\fzyl}$. Thus, $[\x]_{\fzyl}\rightsquigarrow [\y]_{\fzyl}\le  [\x]_{\fzyl}\rightsquigarrow [\z]_{\fzyl}$. Moreover, $\frac{\LomH}{\approx_{\fzyl}}$ is a hoop and by Proposition $\ref{2.1}$(ii) and (i),
$$[\x]_{\fzyl}\wedge[\y]_{\fzyl}=[\x]_{\fzyl}\otimes ([\x]_{\fzyl}\rightsquigarrow [\y]_{\fzyl})\le  [\z]_{\fzyl}.$$
Hence, $\frac{\LomH}{\approx_{\fzyl}}$ is a Brouwerian semilattice. On the other side, by Proposition $\ref{3.12}$, for all $\x,\y\in \LomH$ and $\t\in (0,1]$, $(((\x\oq \y)\oq \y)\oq((\y\oq \x)\oq \x))_{\t}\in \fzyl$. Thus, by Theorem $\ref{2.3}$, $[(\x\oq \y)\oq \y]_{\fzyl}\le  [(\y\oq \x)\oq \x]_{\fzyl}$. By the similar way, $[(\y\oq \x)\oq \x]_{\fzyl}\le  [(\x\oq \y)\oq \y]_{\fzyl}$. Then
$$([\x]_{\fzyl}\rightsquigarrow [\y]_{\fzyl})\rightsquigarrow [\y]_{\fzyl}=([\y]_{\fzyl}\rightsquigarrow [\x]_{\fzyl})\rightsquigarrow [\x]_{\fzyl}.$$
Therefore, $\frac{\LomH}{\approx_{\fzyl}}$ is a Wajesberg hoop. Thus, by Definition $\ref{2.2}$, we define $$[\x]_{\fzyl}\vee [\y]_{\fzyl}=([\x]_{\fzyl}\rightsquigarrow [\y]_{\fzyl})\rightsquigarrow [\y]_{\fzyl}.$$ Hence, $\vee$ is join operation, and so by Definition $\ref{2.2}$, $\frac{\LomH}{\approx_{\fzyl}}$ is a distributive lattice. Thus, $\frac{\LomH}{\approx_{\fzyl}}$ is a Heyting semilattice.
\end{proof}

{\bf Note.} According to \cite[Theorem 3.10]{5}, every $(\in,\in)$-fuzzy subhoop is an $(\in,\ivq)$-fuzzy subhoop of $\LomH$. As each deductive system is a subhoop,  obviously each $(\in,\in)$-fuzzy implicative deductive system  of $\LomH$ is an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$. The converse is not true always and we can check it by different examples such as \cite[Example {3.9}]{013}. It means that there is $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$ that is not an $(\in,\ivq)$-fuzzy deductive system. %Thus some of above theorem that proved in this section, hold for $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$. But some of them hold with conditions, because of that we prove them again.

\begin{theorem}\label{4.3}
  A fuzzy set $\fzyl$ in $\LomH$ is an $(\in, \ivq)$-fuzzy implicative deductive system  of $\LomH$ iff , for all $\x,\y\in \LomH$ and $\t\in (0,0.5]$, it satisfies:
  \begin{align}
    &\label{}
   \fzyl(1)\ge \fzyl(\x),
    \\&\label{b}
   \fzyl(\y)\ge \min \{\fzyl(\x), \fzyl(\x\oq ((\y\oq \z)\oq \y))\}.
  \end{align}
\end{theorem}

\begin{proof}
$(\Rightarrow)$ Consider $\x\in \LomH$ and $\t\in (0,0.5]$ where $\fzyl(\x)=\t$, so $\x_{\t}\in \fzyl$. From $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$, we obtain $1_{\t}\ivq \fzyl$. If $\fzyl(1)\ge \t$, then $\fzyl(1)\ge  \fzyl(\x)$. Also, if $1_{\t}q\fzyl$, then $\fzyl(1)+\t\succ 1$, thus $\fzyl(1)\succ 1-\t$. As $\t\in (0,0.5]$, we get $\fzyl(1)\succ 1-\t\succ \t =\fzyl(\x)$. So, in both cases, for every $\x\in \LomH$, $\fzyl(1)\ge \fzyl(\x)$. Assume $\x,\y,\z\in \LomH$ and $\t,\k\in (0,0.5]$ where $\fzyl(\x)\ge  \t$ and $\fzyl(\x\oq((\y\oq \z)\oq \y)\ge  \k$. Thus $\x_{\t}\in \fzyl$ and $(\x\oq((\y\oq \z)\oq \y)_{\k}\in \fzyl$. Moreover, $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$, we consequence $\y_{\min\{\t,\k\}}\ivq \fzyl$. If $\y_{\min\{\t,\k\}}\in \fzyl$, then the sentence holds. If $\y_{\min\{\t,\k\}}q\fzyl$, then $\fzyl(\y)+{\min\{\t,\k\}}\succ 1$, thus $\fzyl(\y)\succ 1-{\min\{\t,\k\}}$. From $\t,\k\in (0,0.5]$, we obtain ${\min\{\t,\k\}}\in (0,0.5]$. So, $\fzyl(\y)\succ 1 -{\min\{\t,\k\}}>{\min\{\t,\k\}}$. Hence, in both cases, for each $\x,\y,\z\in \LomH$ and $\t,\k\in (0,0.5]$, we get $$\min\{\fzyl(\x\oq((\y\oq \z)\oq \y),\fzyl(\x)\}\le  \fzyl(\y).$$
$(\Leftarrow)$ Similar to the proof of Theorem \ref{3.3}.
\end{proof}
\begin{corollary}\label{4.6}
Every $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$ such as $\fzyl$ satisfies in the next condition:
\begin{align}
     (\forall \ \x,\y\in \LomH)(\forall \ \t\in (0,0.5])(\mbox{if} \ \x\le  \y, \ \mbox{then} \ \fzyl(\x)\le  \fzyl(\y)).
   \end{align}
\end{corollary}
\begin{proof}
By using Theorem \ref{4.3}, from $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$, we obtain $\fzyl(\x)\le  \fzyl(1)$, for $\x\in \LomH$ and $\t\in (0,0.5]$. Moreover, $\x\le  \y$, so $\x\oq \y=1$. Thus by Theorem \ref{4.3}, 
$$\fzyl(\y)\ge \min \{\fzyl(\x), \fzyl(\x\oq ((\y\oq 1)\oq \y))\}=\min\{\fzyl(\x),\fzyl(\x\oq \y)\}=\min\{\fzyl(\x),\fzyl(1)\}=\fzyl(\x).$$
\end{proof}
\begin{theorem}\label{4.4}
Each $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$ is an $(\in,\ivq)$-fuzzy deductive system  of $\LomH$.
\end{theorem}
\begin{proof}
It follows by Theorem \ref{3.4}.
\end{proof}
\begin{theorem}\label{4.7}
Consider $\fzyl$ is an $(\in,\ivq)$-fuzzy deductive system  of $\LomH$. The next equivalent conditions hold for every $\x,\y,\z\in \LomH$ and $\t,\k\in (0,0.5]$.\\
$(i)$ \ \ $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system,\\
$(ii)$ \ \ $((\x\oq \y)\oq \x)_{\t}\in \fzyl$ implies $x\_{\t}\ivq \fzyl$, \\
$(iii)$ \ \ $(((\x\oq \y)\oq \x)\oq \x)_{\t}\ivq \fzyl$,\\
$(iv)$ \ \ $((\x^{\sim}\oq \x)\oq \x)_{\t}\ivq \fzyl$,\\
$(v)$ \ \   $((\x\op  \z^{\sim})\oq \y)_{\t}\in \fzyl$ and $(\y\oq \z)_{\k}\in \fzyl$ imply $(\x\oq \z)_{\min\{\t,\k\}}\ivq \fzyl$,\\
$(vi)$ \ \  $((\x\op  \y^{\sim})\oq \y)_{\t}\in \fzyl$ implies $(\x\oq \y)_{\t}\ivq \fzyl$.
\end{theorem}
\begin{proof}
Assume $\x,\y,\z\in \LomH$ and $\t,\k\in (0,0.5]$. Thus\\
$(i)\Rightarrow(ii)$ Suppose $((\x\oq \y)\oq \x)_{\t}\in \fzyl$. Since $\fzyl$ is an $(\in,\ivq)$-fuzzy deductive system  of $\LomH$, $1_{\t}\ivq \fzyl$. If $1_{\t}\in \fzyl$, then since $((\x\oq \y)\oq \x)_{\t}\in \fzyl$ and $1_{\t}\in \fzyl$, by (i), $\x_{\t}\ivq \fzyl$. If $1_{\t}q\fzyl$, then $\fzyl(1)+\t\succ 1$, and so $\fzyl(1)\succ 1-\t$. As $\t\in (0,0.5]$, we obtain $\fzyl(1)\succ 1-\t\succ \t$. Thus, $1_{\t}\in \fzyl$. Moreover, from $((\x\oq \y)\oq \x)_{\t}\in \fzyl$ and $1_{\t}\in \fzyl$, by (i), $\x_{\t}\ivq \fzyl$. So in both cases, we consequence that, $\x_{\t}\ivq \fzyl$.\\
$(ii)\Rightarrow (i)$ Let $\x_{\t}\in \fzyl$ and $(\x\oq ((\y\oq \z)\oq \y))_{\k}\in \fzyl$. Since $\fzyl$ is an $(\in,\ivq)$-fuzzy deductive system  of $\LomH$, we obtain $((\y\oq \z)\oq \y)_{\min\{\t,\k\}}\ivq \fzyl$. If $((\y\oq \z)\oq \y)_{\min\{\t,\k\}}\in \fzyl$, then by (ii), we consequence that $\y_{\min\{\t,\k\}}\ivq \fzyl$. If $((\y\oq \z)\oq \y)_{\min\{\t,\k\}}q \fzyl$, then $\fzyl((\y\oq \z)\oq \y)+{\min\{\t,\k\}}\succ 1 $, and so $\fzyl((\y\oq \z)\oq \y)\succ 1-{\min\{\t,\k\}}$. As $\t,\k\in (0,0.5]$, we get $\min\{\t,\k\}\in (0,0.5]$, and so $\fzyl((\y\oq \z)\oq \y)>{\min\{\t,\k\}}$. Hence by (ii), $\y_{\min\{\t,\k\}}\ivq \fzyl$. Thus, in both cases, $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system .

The proof of other cases are is similar to   Theorem \ref{3.7} and $(i)\Leftrightarrow(ii)$.
\end{proof}
\begin{theorem}\label{4.8}
  Assume $\fzyl\neq 0$ is $(\in, \ivq)$-fuzzy implicative deductive system  of $\LomH$. Thus
   \begin{align}\label{qcT36-181226}
     \LomH_0:=\{\x\in \LomH\mid \fzyl(\x)\ne 0\}
   \end{align}
   is an implicative deductive system  of $\LomH$.
\end{theorem}

\begin{proof}
It follows by Theorem \ref{3.8}.
\end{proof}
\begin{proposition}\label{4.9}
Consider $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$. Thus $\fzyl_q^\t$ is an implicative deductive system  of $\LomH$, for every $\t\in (0.5,1]$.
\end{proposition}
\begin{proof}
Assume $\x\in \fzyl_q^\t$, for each $\x\in \LomH$ and $\t\in (0.5,1]$. Then $\x_{\t}q\fzyl$, and so $\fzyl(\x)+\t\succ 1$ Thus, $\fzyl(\x)\succ 1-\t$. By hypothesis, from $\x_{1-\t}\in \fzyl$, we obtain $1_{1-\t}\ivq \fzyl$. If $\fzyl(1)\succ 1-\t$, then $\fzyl(1)+\t\succ 1$, so $1\in \fzyl_q^\t$. If $\fzyl(1)+1-\t\succ 1 $, then $\fzyl(1)\succ t$. As $\t\in (0.5,1]$, we consequence $\fzyl(1)+\t\succ 2\t\succ 1$. Thus $\fzyl(1)+\t\succ 1$ and $1\in \fzyl_q^\t$. Assume $\x, \x\oq((\y\oq \z)\oq \y)\in \fzyl_q^\t$, for every $\x,\y,\z\in \LomH$ and $\t\in (0.5,1]$. So $$\fzyl(\x)+\t\succ 1 \ \ \ , \ \ \ \fzyl(\x\oq((\y\oq \z)\oq \y))+\t\succ 1.$$ Hence $\fzyl(\x)\succ 1-\t$ and $\fzyl(\x\oq((\y\oq \z)\oq \y))\succ 1-\t$. From $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$, we get $\fzyl(\y)\succ 1-\t$ or $\fzyl(\y)+1-\t\succ 1$. If $\fzyl(\y)\succ 1-\t$, then $\fzyl(\y)+\t\succ 1$ and  $\fzyl(\y)\succ \t$ implies $\fzyl(\y)+\t\succ 2\t\succ 1$, from $\t\in (0.5,1]$. In two cases $\fzyl(\y)+\t\succ 1$. So, $\y\in \fzyl_q^\t$. Therefore, $\fzyl_q^\t$ is an implicative deductive system  of $\LomH$.
\end{proof}

\begin{corollary}\label{4.10}
Consider $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$. Then $\fzyl_{\ivq}^\t$ is an implicative deductive system  of $\LomH$, for every $\t\in (0,1]$.
\end{corollary}
\begin{proof}
By Theorem \ref{3.8} and Propositions \ref{3.9} and \ref{4.9}, the proof is clear.
\end{proof}

\begin{proposition}\label{4.11}
Each $(\in,\ivq)$-fuzzy implicative deductive system  of $H$ satisfies in the next conditions, for every $\x,\y\in \LomH$:\\
$(i)$ \ \ $\min\{\fzyl(\x\oq(\x\oq \y)),0.5\}\le  \fzyl(\x\oq \y)$,\\
$(ii)$ \ \ $\min\{\fzyl(\z\oq(\y\oq \x)),0.5\}\le  \fzyl((\z\oq \y)\oq(\z\oq \x))$.
\end{proposition}
\begin{proof}
$(i)$ \ \ Assume $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$. From Proposition \ref{2.1}(vii), 
$$\x\oq(\x\oq \y)\le  ((\x\oq \y)\oq \y)\oq (\x\oq \y).$$ 
From Corollary \ref{4.6}, we obtain
$$\min\{\fzyl(\x\oq(\x\oq \y)),0.5\}\le  \fzyl(((\x\oq \y)\oq \y)\oq (\x\oq \y)).$$
As $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$, we have
$$\min\{\fzyl(\x\oq(\x\oq \y)),0.5\}\le  \min\{\fzyl(((\x\oq \y)\oq \y)\oq (\x\oq \y)),0.5\}\le  \fzyl(\x\oq \y).$$
$(ii)$ \ \ Using Proposition \ref{3.11} and (i).
\end{proof}

\begin{proposition}\label{4.12}
Each $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$ implies the next conditions, for every $\x,\y\in \LomH$:\\
$(i)$ \ \ $\min\{\fzyl(\y\oq \x),0.5\}\le  \fzyl(((\x\oq \y)\oq \y)\oq \x)$,\\
$(ii)$ \ \ $\min\{\fzyl(1),0.5\}\le \fzyl(((\x\oq \y)\oq \y)\oq ((\y\oq \x)\oq \x))$.
\end{proposition}
\begin{proof}
$(i)$ \ \ Let $\x,\y\in \LomH$, $\t\in (0,1]$ and $\fzyl$ be an $(\in,\ivq)$-fuzzy implicative deductive system  of $\LomH$. By Proposition $\ref{2.1}$(iv), $\x\le  ((\x\oq \y)\oq \y)\oq \x$, thus by Proposition $\ref{2.1}$(viii), $$(((\x\oq \y)\oq \y)\oq \x)\oq \y\le  \x\oq \y,$$ and so by Proposition $\ref{2.1}$(viii) and (vii),
\begin{eqnarray*}
\y\oq \x
&\le & ((\x\oq \y)\op ((\x\oq \y)\oq \y))\oq \x\\
&=&(\x\oq \y)\oq (((\x\oq \y)\oq \y)\oq \x)\\
&\le & ((((\x\oq \y)\oq \y)\oq \x)\oq \y)\oq ((\x\oq \y)\oq \y)\oq \x).
\end{eqnarray*}
Moreover, since $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system , then
\begin{eqnarray*}
\fzyl(((\x\oq \y)\oq \y)\oq \x)
&\ge & \min\{\fzyl(((((\x\oq \y)\oq \y)\oq \x)\oq \y)\oq(((\x\oq \y)\oq \y)\oq \x)),0.5\}\\
&\ge  &\min\{\fzyl((\x\oq \y)\oq ((\x\oq \y)\oq \y)\oq \x),0.5\}\\
&=&\min\{\fzyl((\x\oq \y)\oq \y)\oq ((\x\oq \y)\oq \x)),0.5\}\\
&\ge & \min\{\fzyl(\y\oq \x),0.5\}.
\end{eqnarray*}
$(ii)$ \ \ Similar to Proposition \ref{3.12} and (i).
\end{proof}
\begin{theorem}\label{4.13}
Assume $\fzyl$ is an $(\in,\ivq)$-fuzzy deductive system  of $\LomH$. If $\fzyl$ is an $(\in,\ivq)$-fuzzy implicative deductive system , then $\frac{\LomH}{\approx_{\fzyl}}$ is a Heyting semilattice that has Wajesberg property.
\end{theorem}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Conclusion}
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%theorem%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
In this paper, we defined the notions of $(\in,\in)$-fuzzy implicative deductive system s and $(\in,\ivq)$-fuzzy
implicative deductive system s of hoops and studied some traits and defined some definitions that are equivalent. Thus by using the concept of  $(\in,\in)$-
fuzzy  of hoop, we introduced a new congruence relation on hoop,  and showed that the algebraic structure that is made by it is a  Brouwerian
semilattice, Heyting algebra and Wajesberg hoop. In the future, we try to introduce $(\alpha,\beta)$-fuzzy positive implicative deductive systems and $(\alpha,\beta)$-fuzzy fantastic deductive systems for $(\alpha,\beta)\in\{(\in,\in),(\in,\ivq)\}$ of hoops and investigate their traits  of them. Also, we study the relation among $(\alpha,\beta)$-fuzzy (positive) implicative deductive system  and $(\alpha,\beta)$-fuzzy fantastic deductive system . Moreover, we can study about the quotient that is made by them.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{thebibliography}{99}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


 \bibitem{1}  Alavi. S.Z.,  Borzooei. R.A., Aaly Kologani. M.,
  {Fuzzy Filters in Pseudo Hoops}, Journal of Intelligent
   and Fuzzy Systems, Vol. 32, (2017), pp. 1997--2007.

 \bibitem{2}  Alavi. S.Z.,  Borzooei. R.A.,  Aaly Kologani. M.,
  {Filter Theory of Pseudo Hoop Algebras}, Italian Journal
  of Pure and Applied Mathematics, Vol. 37, (2017 ), pp. 619--632.

   \bibitem{LCS28-219}  Blok. W.J.,   Ferreirim. I.M.A.,
 {Hoops and Their Implicational Reducts},
 Logic in Computer Science, Vol. {28}, (1993), pp. 219--230.

 \bibitem{AU43-233} Blok. W.J.,   Ferreirim. I.M.A.,
 {\it On the Structure of Hoops}, Algebra Universalis, Vol. {43}, (2000), pp. 233--257.

\bibitem{JARPM6-72}  Borzooei. R.A., Aaly Kologani. M.,
 {Filter Theory of Hoop Algebras},
  Journal Advanced Research in Pure Mathematics, Vol. 6, (2014), pp.72--86.

 \bibitem{3}  Borzooei. R.A., Aaly Kologani. M., {On Fuzzy
  Filter of Hoop Algebras}, The Journal of Fuzzy Mathematics, Vol. 25, (2017), pp. 177--195.
\bibitem{BM} Borzooei. R.A., Aaly Kologani. M., Results on Hoops, Journal of Algebraic Hyperstructures
and Logical Algebras, Vol. 1, no. 1, (2020), pp. 61--77.
  \bibitem{RM29-25}  Borzooei. R.A.,  Varasteh. H.R., Borna. K.,
 {\it Fundamental Hoop-Algebras}, Ratio  Mathematica, Vol. 29, (2015), pp. 25--40.

\bibitem{5}  Borzooei. R.A., Mohseni Takallo. M.,  Aaly Kologani. M.,  Jun. Y.B.,  {Fuzzy Sub-Hoops Based on Fuzzy Points}, submitted.
   
\bibitem{013} Borzooei. R.A.,  Kim. H.S.,  Jun. Y.B., Aaly Kologani. M., Mohseni Takallo. M.,   {\it Fuzzy  Filters of Hoops Based on Fuzzy Points}, Mathematics, Vol 7, (2019), pp. 430--440..

\bibitem{FM64-257} Bosbach. B., {Komplement\"are Halbgruppen, Axiomatik und Arithmetik}, Fundamenta Mathematicae, Vol. {64}, (1969), pp. 257--287.

\bibitem{FM69-1}  Bosbach. B., {Komplement\"are Halbgruppen, Kongruenzen and Quotienten},
  Fundamenta Mathematicae, Vol. {69}, (1970), pp. 1--14.

  \bibitem{012}  Georgescu. G., Leustean. L., Preoteasa. V., {Pseudo-Hoops}, Journal of Multiple-Valued logic and Soft Computing,  Vol. 11, no. (1-2), (2005), pp. 153--184.

\bibitem{JARPM5-1} Ghorbani. S., {Localization of Hoop-Algebras},
  Journal Advanced Research in Pure Mathematics, Vol. 5, (2013), pp. 1--13.

  \bibitem{ScMJ60-613}  Jun. Y.B., {On $(\alpha, \beta)$-Fuzzy Ideals of $BCK/BCI$-Algebras},
   Scientiae Mathematicae Japonicae, Vol. 60, (2004), pp. 613--617.

\bibitem{BKMS42-703}  Jun. Y.B., {On $(\alpha, \beta)$-Fuzzy Subalgerbas of $BCK/BCI$-Algebras,}
    
Bulletin of the Korean Mathematical Society, Vol. {42}, (2005), pp. 703--711.

\bibitem{IJPAM38-631}  Luo.  C.F.,  Xin. X.L., He. P.,
 {$n$-Fold (Positive) Implicative Filters of Hoops},
 Italian Journal of Pure and Applied Mathematics, Vol. 38, (2017), pp. 631--642.

  \bibitem{4} Namdara. A.,  Borzooei. R.A., Borumand Saeid. A.,  Aaly Kologani. M., {Some Results in Hoop Algebras}, Journal
  of Intelligent and Fuzzy Systems, Vol. 32, (2017), pp. 1805--1813.

\bibitem{JMAA76-571}  Pu. P.M.,  Liu. Y.M.,
    {Fuzzy Topology I, Neighborhood Structure of a Fuzzy Point
            and Moore-Smith Convergence,}
    Journal of Mathematical Analysis and Applications, Vol. {76}, (1980), pp. 571--599.

\end{thebibliography}
\end{document}
