superintuitionistic

Adjective

 * 1)  Describing an extended form of intuitionistic logic