The Cut Elimination and the Nonlengthening Property for the Sequent Calculus with Equality.

Franco Parlamento Flavio Previale

Published in: CoRR (2017)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
wide class
sufficient conditions
temporal logic
linear time temporal logic
theorem prover
proof search
logical framework