Cut-elimination and Redundancy-elimination by Resolution.

Matthias Baaz Alexander Leitsch

Published in: J. Symb. Comput. (2000)

Keyphrases

cut elimination
sequent calculus
linear logic
wide class
natural deduction
sufficient conditions
inference rules
proof theoretic
linear time temporal logic
principal component analysis
modal logic
intuitionistic logic