# Tag Info

Accepted

### Alternatives to the law of the excluded middle

No, every consistent propositional logic that extends intuitionistic logic is a sublogic of classical logic. (That’s why consistent superintuitionistic logics are also called intermediate logics.) To ...
• 39.1k