4 ms·
Umm. I've been of the understanding that we never change the inference rules, Can you point to some branch of mathematics that involves a change of inference ru
by aangjie 11y ago
Umm. I've been of the understanding that we never change the inference rules, Can you point to some branch of mathematics that involves a change of inference rules?
- dllthomas 11y agoAt my level of understanding, it seems a reasonable characterization of intuitionistic logic to say that it operates with a more restricted set of inference rules. It was the parent who made the stronger claim about differences here, and they speak a bit more to the topic in nearby comments.