o:29493 A note on an alternative Gentzenization of RW◦ + en 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 Keywords: GRW◦+, proofs, cut-elimination 1552099 10.1002/malq.202000086 1552101 0942-5616 2023-05-16T10:48:15.234Z 44 no 46 Mirjana Ilić Univerzitet u Beogradu Ekonomski fakultet 17546855 0000-0001-9670-5168 application/pdf 140059 https://phaidrabg.bg.ac.rs/o:29493 no yes 1 70 1552253 11A03 Mathematical Logic Quarterly 67 2 186 192 2021