Editing Intuitionistic logic (section)

===Theories' features===
Theories over constructive logics can exhibit the [[disjunction property]]. The pure intuitionistic propositional calculus does so as well.

In particular, it means the excluded middle disjunction for an un-rejectable statement <math>A</math> is provable exactly when <math>A</math> is provable.
This also means, for examples, that the excluded middle disjunction for some the excluded middle disjunctions are not provable also.