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)
“Fatalism, whose solving word in all crises of behavior is “All striving is vain,” will never reign supreme, for the impulse to take life strivingly is indestructible in the race. Moral creeds which speak to that impulse will be widely successful in spite of inconsistency, vagueness, and shadowy determination of expectancy. Man needs a rule for his will, and will invent one if one be not given him.”
—William James (1842–1910)