  In what he calls “Gentzen semantics”, von Kutschera (1968) gives, as Lorenzen, a semantics of logically complex implication-like statements A1,…,An → B with respect to calculi K which govern the reasoning with atomic sentences. The fundamental difference to Lorenzen is the fact that A1,…,An → B now expresses a derivability rather than an admissibility statement.