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)
“The principle of majority rule is the mildest form in which the force of numbers can be exercised. It is a pacific substitute for civil war in which the opposing armies are counted and the victory is awarded to the larger before any blood is shed. Except in the sacred tests of democracy and in the incantations of the orators, we hardly take the trouble to pretend that the rule of the majority is not at bottom a rule of force.”
—Walter Lippmann (1889–1974)