Paraphrasen, die zulässig enthalten
Formulierungsvarianten, die mit zulässig anfangen
Andere Wörter, die auf zulässig enden
Eine Schlussregel heißt zulässig in Bezug auf einen Kalkül, wenn jede Formel des Kalküls, die in dem Kalkül mit Verwendung dieser Regel hergeleitet werden kann, bereits auch ohne Verwendung dieser Regel hergeleitet werden kann.
Auf diese Weise lassen sich Gültigkeitsbeweise von Regeln durchführen: Ist eine Regel wie etwa die Schnittregel in einem Kalkül zulässig, also eliminierbar, so ist ...
