\begin{lemma}[Separations of logics]
\begin{center}
\begin{minipage}{.6\linewidth}
\begin{figure}[H]
\centering
\begin{tikzpicture}[scale = 0.55, transform shape,auto,every node/.style={rectangle,rounded corners}]
\node[draw, align=center](LJN) at (4,12) {$\mathsf{LN}+(\mathsf{PE})+(\mathsf{An})$\\$\text{(Intuitionistic logic)}$};
\node[draw](LNPELP) at (0,10) {$\mathsf{LN+(PE)+(LP)}$};
\node[draw](LNAnDNPE) at (8,10.5) {$\mathsf{LN+(An)+(DNPE)}$};
\node[draw, align=center](LNAn) at (8,8.75) {$\mathsf{LN}+(\mathsf{An})$\\$\text{(Minimal logic)}$};
\node[draw, align=center](LNPE) at (0,8) {$\mathsf{LN+(PE)}$\\
$(\text{Co-minimal logic})$};
\node[draw](LNAn-LP) at (8,7) {$\mathsf{LN+(An}^-)+(\mathsf{LP})$};
\node[draw](LNAn-) at (4,6) {$\mathsf{LN+(An}^-)$};
\node[draw](LNCo) at (4,4) {$\mathsf{LN+(Co)}$};
\node[draw](LNPE-) at (0,4) {$\mathsf{LN+(PE}^-)$};
\node[draw](LNNeF) at (4,2) {$\mathsf{LN+(NeF)}$};
\node[draw](LN) at (4,0) {$\mathsf{LN}$};
\draw [right hook->](LJN) -- (LNPELP);
\draw[right hook->] (LJN)--(LNAnDNPE);
\draw [left hook->] (LNAnDNPE)--(LNAn)node[pos=0.4]{\Huge$/$};
\draw [left hook->] (LNPELP)--(LNPE);
\draw [left hook->] (LNPELP)--(LNAn-LP);
\draw [left hook->] (LNPE)--(LNAn-);
\draw [left hook->] (LNAn)--(LNAn-LP);
\draw [right hook->] (LNAn-LP)--(LNAn-);
\draw [left hook->] (LNAn-)--(LNCo);
\draw [left hook->] (LNCo)--(LNNeF);
\draw [left hook->] (LNNeF)--(LN);
\draw [left hook->] (LNPE)--(LNPE-);
\draw [left hook->] (LNPE-)--(LN);
\end{tikzpicture}
\label{fig6}
\end{figure}
\end{minipage}
\end{center}
\end{lemma}
\end{frame}
\end{document}
参考文献はhttps://alg-d.com/math/tikz.pdfこのPDFの30ページあたりを参考にし、texliveを用いてtexstudio上で上記のコードを書きました。
書きたいこととしましては、上記のコードで出力される図の矢印全ての上にうまい具合に斜線を引きたいのですが、環境もしくはコードの書き方が良くないのか上手く出力されません(実際にはズレて出力されます)。
よろしければご教授よろしくお願いします。