A Proof Calculus Which Reduces Syntactic Bureaucracy.

Alessio Guglielmi Tom Gundersen Michel Parigot

Published in: RTA (2010)

Keyphrases

automated theorem proving
proof search
natural deduction
provably correct
sequent calculus
theorem prover
linear logic
cut elimination
proof procedure
natural language
theorem proving
computer algebra
formal language
complete axiomatization
data sets
automated deduction
syntactic structures
data mining