“…In this paper we set up a natural deduction calculus for the logic RW • + , which is positive contraction-less relevant system R (see [1], p. 341), with co-tenability •. Several natural deduction calculi are known for relevant logics, including RW • + , however, all of them, use a kind of relevance numerals in order to keep track of the use of hypotheses (see Anderson and Belnap [1], Dunn [6], [7], Brady [3], Urquhart [18], and Meyer and McRobbie [12]). This is needed to unable the inference of irrelevant formulae.…”