You mean intuitionistic logic, not "intuitive logic".
Oops, just edited. I'm still fairly new to this area, so I keep mixing up my terms :)
alt Hacker News
Oops, just edited. I'm still fairly new to this area, so I keep mixing up my terms :)