Intuitionistic logic

Home > Philosophy > Logic > Propositional Logic > Intuitionistic logic

Intuitionistic logic is a type of propositional logic that adds a new operator known as "intuitionistic implication." It is used to express the idea that a statement is true if there is a constructive proof for it.