On the polynomial-space completeness of intuitionistic propositional logic

摘要

We present an alternative, purely semantical and relatively simple, proof of the Statman's result that both intuitionistic propositional logic and its implicational fragment are PSPACE-complete.