Intuitionistic logic
Home
>
Philosophy
>
Analytical Philosophy
>
Logic
>
Intuitionistic logic
Is focused on the concept of constructive proof and doesn't accept the law of the excluded middle.