A cut-free sequent calculus for relevant logic RW
M. Ili, B. Bori · Logic Journal of IGPL · 2014
A right-handed cut-free sequent calculus GRW for the contraction-less relevant logic RW is presented. Based on GRW, the disjunction property and the decidability, the properties which both had been proved for RW earlier, are obtained by a pure proof–theoretical method.