Login / Signup

Natural Deduction and Curry's Paradox.

Susan Rogerson
Published in: J. Philos. Log. (2007)
Keyphrases
  • natural deduction
  • inference rules
  • theorem prover
  • theorem proving
  • cut elimination
  • intuitionistic logic
  • sequent calculus
  • linear logic
  • linear time temporal logic
  • first order logic
  • machine learning
  • active learning