Every super-polynomial proof in purely implicational minimal logic has a polynomially sized proof in classical implicational propositional logic.
(xsd:string)
Every super-polynomial proof in purely implicational minimal logic has a polynomially sized proof in classical implicational propositional logic.
(xsd:string)