Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 11, Issue 3, pp. 419-429: Abstract.

About Folding-Unfolding Cuts and Cuts Modulo

Gilles Dowek

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

  Full-Text PDF  (112 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 2001.