| ▲ | Chinjut 3 hours ago | |
You mean intuitionistic logic, not "intuitive logic". | ||
| ▲ | smj-edison 3 hours ago | parent [-] | |
Oops, just edited. I'm still fairly new to this area, so I keep mixing up my terms :) | ||
| ▲ | Chinjut 3 hours ago | |
You mean intuitionistic logic, not "intuitive logic". | ||
| ▲ | smj-edison 3 hours ago | parent [-] | |
Oops, just edited. I'm still fairly new to this area, so I keep mixing up my terms :) | ||