An alternative Gentzenisation of RW+∘
Mirjana Ilić · Mathematical logic quarterly · 2016
In this paper, we give a sequent calculus for the positive contraction-less relevant logic and we give a proof that it is cut-free without the use of the truth constant t. Based on , we re-prove the decidability of the logic .