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.

• Type: Journal
• Year: 2002
• Where: CSL
• Authors: Matthias Baaz, Georg Moser
• Keywords: Arbitrary Arity, Automated Reasoning, CSL 2002, Sequent Calculus, Simple Form