• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Variable declarations in natural deduction.

Daniel J. Velleman
Published in: Ann. Pure Appl. Log. (2006)
Keyphrases
  • natural deduction
  • theorem prover
  • inference rules
  • cut elimination
  • intuitionistic logic
  • theorem proving
  • linear logic
  • sequent calculus
  • data sets
  • neural network
  • continuous variables