Which structural rules admit cut elimination? An algebraic criterion

Other literature type English OPEN
Terui, Kazushige;

Consider a general class of structural inference rules such as exchange, weakening, contraction and their generalizations. Among them, some are harmless but others do harm to cut elimination. Hence it is natural to ask under which condition cut elimination is ... View more
Share - Bookmark