Translations from natural deduction to sequent calculus.

Published in: Math. Log. Q. (2003)

Keyphrases

natural deduction
sequent calculus
cut elimination
inference rules
theorem prover
theorem proving
linear time temporal logic
intuitionistic logic
linear logic
proof search
automated reasoning
artificial intelligence
wide class
learning algorithm
object oriented
first order logic