If we're being careful, we'll distinguish this from ThePrincipleOfBivalence.
If we remove the Law of excluded middle from a formal logical system, the result will be a system called 'intuitionistic logic', which is the logic between Mathematical intuitionism.