Gentzenization and decidability of some contraction-less relevant logics

We adopt the terminology and bracketing conventions of 3], which in turn follows Dunn in 1], pp, 381–391, and Giambrone in 4]. We acknoledge the impetus given to this paper by Jonh Slaney who showed me a key to the dedidability argument, though the simplification used in this paper obviates the need for it.