About Folding-Unfolding Cuts and Cuts Modulo
Abstract
We show in this note that cut elimination in deduction modulo subsumes cut elimination in deduction with the folding and unfolding rules.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00072640
Submitted on : Wednesday, May 24, 2006-10:28:26 AM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Long-term archiving on: Sunday, April 4, 2010-11:16:36 PM