Die Arbeit präsentiert eine abstrakte kategorielle Charakterisierung einer Beweissprache für IMALL, die die Sup-Verknüpfung enthält, welche additive Paare mit einer probabilistischen Elimination sowie Summen und Skalarmultiplikationen innerhalb der Beweisterme einführt.
