%0 Journal Article %A Gil, Àngel J. %A Rebagliato, Jordi %D 2000 %I Springer Netherlands %J Studia Logica %N 1 %P 53-89 %T Protoalgebraic Gentzen systems and the cut rule %V 65