intuitionism
intuitionist logic