Nonclassical Logic

An umbrella term for formal logics that modify or abandon one or more standard classical principles—such as bivalence, the law of excluded middle, non-contradiction, or monotonicity—to better model paradox, vagueness, belief, or resource-sensitive reasoning.