Adjective
superintuitionistic (not comparable) (logic) Describing an extended form of intuitionistic logic