[Chinjut]

You mean intuitionistic logic, not "intuitive logic".

[smj-edison]

Oops, just edited. I'm still fairly new to this area, so I keep mixing up my terms :)