superintuitionistic (intuitionistic + super-): Describing an extended form of intuitionistic logic