Intuitionistic Propositional Logic is Polynomial-Space Complete.

Richard Statman

Published in: Theor. Comput. Sci. (1979)

Keyphrases

propositional logic
propositional variables
first order logic
belief revision
possibilistic logic
lattice theory
quantified boolean formulae
davis putnam
satisfiability testing
theorem prover
belief change
horn logic
knowledge representation
rough sets
propositional formulas