35 citations · 115 across the 15 of their papers we have counts for
1 paper · 2 filters
Emil Jeřábek
We present a streamlined and simplified exponential lower bound on the length of proofs in intuitionistic implicational logic, adapted to Gordeev and Haeusler's dag-like natural de…