A note on an alternative Gentzenization of RW◦ + info:eu-repo/semantics/article 2021 application/pdf 140059 bytes Keywords: GRW◦+, proofs, cut-elimination Ilić, Mirjana Mathematical Logic Quarterly 67(2) https://phaidrabg.bg.ac.rs/o:29493 doi:10.1002/malq.202000086 ISSN: 0942-5616 Abstract: In our paper [3], a sequent system GRW◦+ for the contraction-less positive relevant logic with co-tenability, RW◦ +, is considered. Its sequent system with the rule of cut, which does not involve the truth constant t, is presented, and the proof that it admits the elimination of cut is given. However, in the proof of the cut-elimination theorem some forms of proofs, which may cause difficulties for the cut-elimination argument, are not considered. The purpose of this paper is to present them and to re-prove that GRW◦+ admits the elimination of cut. This work was supported by the Ministry of Science and Technology of Serbia, grant number ON 174026 eng All rights reserved