Towards a Canonical Classical Natural Deduction System.

José Espírito Santo

Published in: CSL (2010)

Keyphrases

natural deduction
theorem prover
inference rules
theorem proving
intuitionistic logic
cut elimination
first order logic
sequent calculus
software engineering
linear time temporal logic