[FOM] General conditions for cut elimination

Sandro Skansi skansi.sandro at gmail.com
Tue Jun 7 19:24:19 EDT 2011

There was an article by Terui in 2007 named ``Which structural rules
admit cut elimination? An algebraic criterion'' (Journal of Symbolic
Logic 72.3. Sept 2007). This is the only article I was able to find
that comes close to find what necessary conditions (that can be
readily verified examining only the rules for the sequent system in
question) imply that the given system of sequents admits cut
elimination. Does anyone know any article dealing with this question?
Thank you for your help,
All the best
Sandro Skansi

More information about the FOM mailing list