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.