C
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