Login / Signup

On the Complexity of Propositional Quantification in Intuitionistic Logic.

Philip Kremer
Published in: J. Symb. Log. (1997)
Keyphrases
  • intuitionistic logic
  • propositional logic
  • first order logic
  • decision problems
  • classical logic
  • sufficient conditions
  • database design