Intuitionistic logic, which is what you get from not assuming lem, still reaches a contradiction if you permit that as a valid proposition. So, doing away wit

Intuitionistic logic, which is what you get from not assuming lem, still reaches a contradiction if you permit that as a valid proposition. So, doing away with LEM isn’t sufficient. You could use a logic that explicitly has more values though.