Gentzenization and decidability of some contraction-less relevant logics Ross T. Brady OriginalPaper Pages: 97 - 117