I have four properties A, B, C, D and I am trying to summarize the logical implications between them into a single diagram. So far I have the following picture but I would like to have some of the implication arrows to be negated (say, the arrows from A to C, A to D, B to A, C to D and B to D).

\documentclass{article}
\usepackage{tikz-cd}
\begin{document}
\begin{tikzcd}
A
\arrow[Rightarrow, shift left=0.6ex]{d}
\arrow[Rightarrow, shift left=0.6ex]{dr}
\arrow[Rightarrow, shift left=0.6ex]{r}
& B
\arrow[Rightarrow, shift left=0.6ex]{l}
\arrow[Rightarrow, shift left=0.6ex]{d}
\\
C
\arrow[Rightarrow, shift left=0.6ex]{u}
\arrow[Rightarrow, shift left=0.6ex]{r}
& D
\arrow[Rightarrow, shift left=0.6ex]{l}
\arrow[Rightarrow, shift left=0.6ex]{ul}
\arrow[Rightarrow, shift left=0.6ex]{u}
\end{tikzcd}
\end{document}
This is likely to be strongly related to this question, but I wonder if there is a simple solution, as it is a quite common situation.
