Complex sentence: Much constructive mathematics uses intuitionistic logic, which is essentially classical logic without the law of the excluded middle which states that for any proposition, either that proposition is true, or its negation is.
Split into simpler sentences: Much constructive mathematics uses intuitionistic logic, which is essentially classical logic without the law of the excluded middle. This law states that, for any proposition, either that proposition is true or its negation is.