Intuitionistic logic
Home
>
Philosophy
>
Logic
>
Predicate Logic
>
Intuitionistic logic
A type of logic that rejects the law of excluded middle, and allows only for constructive proofs.