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.