Resolution Refinements for Cut-Elimination based on Reductive Methods

ESSLLI Workshop on Structures and Deduction
Bordeaux, France


Traditional reductive cut-elimination and CERES seem to be methods of entirely different nature and hence hard to compare. This short paper describes ongoing research that aims at comparing and possibly combining them in ways that retain that best features of each method.