Experiments in Linear Natural Deduction.

Simone Martini Andrea Masini

Published in: Theor. Comput. Sci. (1997)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
closed form
theorem proving
sequent calculus
training data
training set