Editing Law of excluded middle (section)

== See also ==
* {{annotated link|Brouwer–Hilbert controversy}}: an account on the formalist-intuitionist divide around the Law of the excluded middle
* ''{{annotated link|Consequentia mirabilis}}''
* [[Constructive set theory]]
* {{annotated link|Diaconescu's theorem}}
* {{annotated link|Dichotomy}}
* {{annotated link|Homogeneity (linguistics)}}: cases where LEM appears to fail in natural language
* {{annotated link|Law of excluded fourth}}
* Law of excluded middle is untrue in {{annotated link|many-valued logic}} such as {{annotated link|ternary logic}} and {{annotated link|fuzzy logic}}
* {{annotated link|Laws of thought}}
* {{annotated link|Limited principle of omniscience}}
* {{annotated link|Logical graph}}: a graphical syntax for propositional logic
* {{annotated link|Logical determinism}}: the application excluded middle to {{annotated link|modal logic|modal}} propositions
* [[Constructivism (philosophy of mathematics)|Mathematical constructivism]]
* Non-affirming negation in the {{annotated link|Prasangika}} school of Buddhism, another system in which the law of excluded middle is untrue
* [[Proof by contradiction]]
* {{annotated link|Peirce's law}}: another way of turning intuition classical