Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Ferland, Ethan"'
Gordeev and Haeusler [GH19] claim that each tautology $\rho$ of minimal propositional logic can be proved with a natural deduction of size polynomial in $|\rho|$. This builds on work from Hudelmaier [Hud93] that found a similar result for intuitionis
Externí odkaz:
http://arxiv.org/abs/2212.12150
