Admissible Rule
In logic, a rule of inference is admissible in a formal system if the set of theorems of the system does not change when that rule is added to the existing rules of the system. In other words, every formula that can be derived using that rule is already derivable without that rule, so, in a sense, it is redundant. The concept of an admissible rule was introduced by Paul Lorenzen (1955).
Read more about Admissible Rule: Definitions, Examples, Decidability and Reduced Rules, Projectivity and Unification, Bases of Admissible Rules, Semantics For Admissible Rules, Structural Completeness, Variants
Famous quotes containing the words admissible and/or rule:
“... if we believe that murder is wrong and not admissible in our society, then it has to be wrong for everyone, not just individuals but governments as well.”
—Helen Prejean (b. 1940)
“This at least should be a rule through the letter-writing world: that no angry letter be posted till four-and-twenty hours will have elapsed since it was written.”
—Anthony Trollope (1815–1882)