In this investigation we give a module-theoretic counterpart of the well known De Morgan's laws for rings and topological spaces. We observe that the module-theoretic De Morgan's laws are related with semiprime modules and modules in which the annihilator of any fully invariant submodule is a direct summand. Also, we give a general treatment of De Morgan's laws for ordered structures (idiomatic-quantales). At the end, the manuscript goes back to the ring theoretic realm, in this case we study the non-commutative counterpart of Dedekind domains, and we describe Asano prime rings using the strong De Morgan law.