Khái niệm cốt lõi
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.
Tóm tắt
Die Arbeit untersucht eine Beweissprache für die intuitionistische multiplikative additive lineare Logik (IMALL), die die Sup-Verknüpfung enthält. Diese Sup-Verknüpfung führt additive Paare mit einer probabilistischen Elimination sowie Summen und Skalarmultiplikationen innerhalb der Beweisterme ein.
Die Autoren liefern eine abstrakte Charakterisierung der Sprache und zeigen, dass jede symmetrische monoidale abgeschlossene Kategorie mit Biprodukten und einem Monomorphismus vom Semiringder Skalare zum Semiring Hom(I, I) für diese Aufgabe geeignet ist. Durch die binären Biproduktedefinierten sie eine gewichtete Kodiagonalkarte, die im Zentrum der Sup-Verknüpfung steht.
Thống kê
Keine relevanten Statistiken oder Kennzahlen identifiziert.
Trích dẫn
Keine markanten Zitate identifiziert.