Cut Elimination for Gentzen's Sequent Calculus with Equality and Logic of Partial Terms.

Franco Parlamento Flavio Previale

Published in: ICLA (2013)

Keyphrases

sequent calculus
cut elimination
linear logic
inference rules
modal logic
natural deduction
sequent calculi
wide class
proof theoretic
linear time temporal logic
sufficient conditions
proof search
classical logic
theorem prover
desirable properties
logic programming
intuitionistic logic
theorem proving
fixed point