In classical logic, the law of the excluded middle obtains. When this is removed, one obtains intuitionistic logic. External resources § SEP