Cut-elimination in a sequents-of-relations calculus for Godel logic

Previously, the analytic calculus RG_∞ for Godel logic has been introduced. RG_∞ operates on “sequents of relations”. We show constructively how to eliminate cuts from RG_∞-derivations. The version of the cut rule we consider allows to derive other forms of cut as well as a rule corresponding to the “communication rule” of Avron´s hypersequent calculus for G_∞. Moreover, we give an explicit description of all the axioms of RG_∞ and prove their completeness