Intuitionistic logic

Intuitionistic logic is a form of modal logic that emphasizes the constructive aspects of mathematical reasoning. It was developed in the early 20th century primarily by mathematician L.E.J. Brouwer, and further formalized by others such as Arend Heyting. This type of logic is rooted in the philosophical belief that mathematical truths are not simply discovered but constructed.