Login / Signup

The Skolemization of existential quantifiers in intuitionistic logic.

Matthias BaazRosalie Iemhoff
Published in: Ann. Pure Appl. Log. (2006)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • natural deduction
  • first order logic
  • query answering
  • natural language
  • normal form
  • proof theoretic
  • database
  • knowledge representation
  • fixed point
  • model checker