Beweisnetze

Eine graphische, kanonische Darstellung von Beweisen in Fragmenten der linearen Logik, bei der Formeln und ihre Verbindungen als Knoten und Kanten modelliert werden; Beweisnetze legen Parallelität offen, reduzieren die syntaktische Bürokratie sequentieller Beweise und erlauben graphische Korrektheitskriterien sowie Cut-Elimination als lokale Graphtransformationen.