2 ms·
Intuitionistic logic is a subtype of constructive logic, though, so it's more specific. That said, a lot of people don't make the distinction!
by tel 10y ago
Intuitionistic logic is a subtype of constructive logic, though, so it's more specific. That said, a lot of people don't make the distinction!