It seems to me that the dual of Zorn's Lemma should be true: if $S$ is a non-empty partially ordered set and every chain of $S$ has a lower bound in $S$, then $S$ has at least one minimal element.
Zorn's Lemma comes up quite often in Commutative Algebra, but I don't recall ever seeing a dual of it or any applications of a dual. Are there any interesting applications of the dual, assuming it is true?
P.S. I am not a logician.