display all the ideas for this combination of texts
4 ideas
15430 | Is classical logic a part of intuitionist logic, or vice versa? [Burgess] |
15431 | It is still unsettled whether standard intuitionist logic is complete [Burgess] |
13715 | You can employ intuitionist logic without intuitionism about mathematics [Sider] |
15429 | Relevance logic's → is perhaps expressible by 'if A, then B, for that reason' [Burgess] |