Publikace na Filozofická fakulta |
2003
Abstrakt
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.
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.
