Simplify the following text for a Grade 10 native English-speaking person.
Original: He made important contributions to proof theory by clarifying the connections between classical logic , intuitionistic logic , and modal logic .
Simplified: He made important contributions to proof theory . He did this by clarifying the connections between classical logic , intuitionistic logic , and modal logic .