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.