Login / Signup

Admissible Tools in the Kitchen of Intuitionistic Logic.

Andrea CondoluciMatteo Manighetti
Published in: CL&C (2018)
Keyphrases
  • intuitionistic logic
  • classical logic
  • knowledge base
  • linear logic
  • state space
  • general purpose
  • planning problems
  • natural deduction