Normal Derivability in Classical Natural Deduction.

Jan von Plato Annika Siders

Published in: Rev. Symb. Log. (2012)

Keyphrases

natural deduction
inference rules
theorem prover
sequent calculus
cut elimination
intuitionistic logic
theorem proving
artificial intelligence
abnormal behavior