intuitionist logic

Incorrect term for "intuitionistic logic".