Journal of Logic and Computation, Volume 11, Issue 3, pp. 419-429: Abstract.
About Folding-Unfolding Cuts and Cuts Modulo
INRIA-Rocquencourt, BP 105, 78153 Le Chesnay Cedex, France. E-mail: Gilles.Dowek@inria.fr
We show in this note that cut elimination in deduction modulo subsumes cut elimination in deduction with the folding and unfolding rules.
Keywords: Natural deduction, cut elimination, deduction modulo