Hyper Natural Deduction.

Arnold Beckmann Norbert Preining

Published in: LICS (2015)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
theorem proving
intuitionistic logic
sequent calculus
machine learning
first order logic
wide class
linear time temporal logic