On Generalizations of Semi-Terms of Particularly Simple Form ⋆

Abstract. We show that Gentzen’s sequent calculus admits generalization of semi-terms of particularly simple form. This theorem extends one of the main results in [BS95] to languages L with functions of arbitrary arity and the central result in [KP88] to semi-terms