A small quibble: I would view these principles as primarily set-theoretic principles, not logical principles per se. It's actually a little bit tricky, because even if we choose to weaken the metalogic (that is, the logical principles we allow ourselves to apply to a set theory, from the outside as it were), one can also speak of the internal logic of a category of sets, which can be stronger than the metalogic. This fact is definitely relevant to the question here.

More exactly, even if the external logic applied to ZF is intuitionistic first-order logic, assuming the axiom of choice will force the law of excluded middle to hold internally. What does this mean, exactly? It means that for every subset $A \subseteq X$, we can, with the help of the axiom of choice, construct a complement, i.e., a subset $B \subseteq X$ such that $A \cap B = \emptyset$ and $A \cup B = X$, so that the lattice of subobjects of a set is a Boolean algebra. This result is due to Diaconescu, who was an early pioneer in topos theory. See the nLab article on excluded middle for a discussion.

I bring this up because proofs of the the three-way equivalence between AC, Zorn, and well-ordering use excluded middle, but if we assume AC, this is no obstacle to being able to prove Zorn's lemma. But not the other way around. I believe the situation is this:

The proof of "well-ordering" implies "axiom of choice" is perfectly constructive. If we formulate AC as saying that every surjection $p: A \to B$ has a section $s$, then we can construct a section if $A$ is well-ordered: for each fiber $b \in B$, define $s(b)$ to be the least element of $p^{-1}(b)$.

Under intuitionistic logic, the axiom of choice implies internal excluded middle, and the usual proof that AC implies Zorn will then carry over.

Under intuitionistic logic, Zorn's lemma plus internal excluded middle can be used to construct a well-ordering on any set $X$. (The usual proof carries over: if a maximal well-orderable subset is not the whole set, we could extend the well-ordering in contradiction to maximality.) It follows from the previous bullet point that AC proves the well-ordering principle in intuitionistic logic. But (I believe -- I should check this carefully): under intuitionistic logic, Zorn's lemma by itself does not prove the (internal) law of excluded middle, and does not imply the well-ordering principle, hence cannot imply AC either.

There is some material on this in the nLab. There may be other answers to this question which devolve on what one takes the underlying set theory to be, but the vanilla approach taken here, which I guess is in line with the question, is to take ZF but weaken the metalogic to get some form of IZF (although what I really had in mind was just to use topos theory as the baseline "set theory").