Superintuitionistic Logic

Intuitionistic Logic is defined roughly that classical logic without law of excluded middle.

And superintuitionistic logic is some axioms add to intuitionistic logic.