Tiefeninferenz

Ein beweistheoretischer Rahmen, in dem Inferenzregeln in beliebiger Tiefe innerhalb logischer Ausdrücke angewandt werden dürfen, statt nur an der Wurzel; Tiefeninferenz ermöglicht symmetrische, lokale und häufig kompaktere Beweissysteme wie den Calculus of Structures.