e/Admissible rule

Information
has gloss	eng: In logic, a rule of inference is admissible in a formal system if the set of theorems of the system is closed under the rule. The concept of an admissible rule was introduced by Paul Lorenzen (1955).
lexicalization	eng: admissible rule
instance of	e/Rule of inference

Meaning
German
has gloss	deu: Eine Schlussregel heißt gültig in Bezug auf einen Kalkül, wenn sie weggelassen werden kann, ohne dass ableitbare Formeln dadurch wegfallen.
lexicalization	deu: Gültige Regel

Media
media:img	Tsitkin frames.svg