Yet Another Bijection Between Sequent Calculus and Natural Deduction.

Cécilia Englander Gilles Dowek Edward Hermann Haeusler

Published in: LSFA (2014)

Keyphrases

natural deduction
sequent calculus
cut elimination
inference rules
theorem prover
theorem proving
linear time temporal logic
automated reasoning
intuitionistic logic
linear logic
artificial intelligence
modal logic
proof search
semi supervised