[FOM] General conditions for cut elimination

[Arnon Avron]

A lot of work on this topic have been done by me and
my students. The relevant papers  
are available from my homepage. Look at the part of my papers
classified under the title:
"Proof Theory and Automated Reasoning" 
(all my joint papers
with Ori Lahav, Anna Zamansky, and Ori Lev included
under this classification are relevant).

Relevant are also joint papers of Agata Ciabattoni, Terui, and Galatos.

Arno Avron


On Wed, Jun 08, 2011 at 01:24:19AM +0200, Sandro Skansi wrote:
> 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
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom