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)
“I make it a kind of pious rule to go to every funeral to which I am invited, both as I wish to pay a proper respect to the dead, unless their characters have been bad, and as I would wish to have the funeral of my own near relations or of myself well attended.”
—James Boswell (1740–1795)