Constructive logic Glossary
Definition
Constructive logic, also known as intuitionistic logic, is a logical system like the classical one studied here but based on a different semantic account, on which truth is not a single fixed totality but rather is under constant development.
In terms of natural deduction, the most prominent feature of constructive logic is the failure of the rule NOTNOTE and the consequent unprovability of theorems such as p OR NOTp.
A weaker logic, also constructive, is minimal logic, which does not validate the principle that the false constant ⊥ entails eaverything.
Comments
See the link below for an introduction.