







About foldingunfolding cuts and cuts modulo (the quest
for a theory independent notion of cut).
The purpose of this talk is to compare the notion of cut with
lambdaintroduction and lambdaelimination rules proposed by Prawitz
and the notion of cut in deduction modulo. As a more long term
perspective, we shall discuss if it is possible to define a general
notion of cut, independently of any particular theory. 





