Intuitionistic logic

Is focused on the concept of constructive proof and doesn't accept the law of the excluded middle.