Charles Explorer logo
🇬🇧

On the polynomial-space completeness of intuitionistic propositional logic

Publication at Faculty of Arts |
2003

Abstract

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.