Efficient Translation of Sequent Calculus Proofs Into Natural Deduction Proofs.

Gabriel Ebner Matthias Schlaipfer

Published in: PAAR@FLoC (2018)

Keyphrases

natural deduction
sequent calculus
cut elimination
inference rules
theorem prover
linear logic
theorem proving
intuitionistic logic
linear time temporal logic
modal logic
wide class
sufficient conditions
artificial intelligence
first order logic
logical framework
proof search