Complexity of intuitionistic propositional logic and its fragments
Михаил Николаевич Рыбаков · Journal of Applied Non-Classical Logics · 2008
In the paper we consider complexity of intuitionistic propositional logic and its natural fragments such as implicative fragment, finite-variable fragments, and some others. Most facts we mention here are known and obtained by logicians from different countries and in different time since 1920s; we present these results together to see the whole picture.