Semantische Begründung der derivativen Implikationslogik. E.W. Beth Archiv für mathematische Logik und Grundlagenforschung