I'm no expert, but as I understand induction is also a form of this kind of "case reasoning", so to get anything much done you will have to introduce some extra axioms, even if you omit the excluded middle.