Intuitionistic logic

A type of logic that rejects the law of excluded middle, and allows only for constructive proofs.