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