Cut Elimination and Contraction M-Phi, 14 Apr 2011 Working with the consistency of contraction free logics with a naive truth predicate (see earlier post), I've been looking at a…