Talk:Admissible rule
From Wikipedia, the free encyclopedia
I replaced Admissible inference rule with a redirect to this page. I believe that the other article was incorrect: Admissibility is not about composing existing inference rules, but about facts that arise because those inference rules are the only ones in the system. For instance, one cannot generally construct the cut rule by composing other rules (then it would be derivable); rather, one must actually perform a computation on the derivations of the premises in order to form a derivation of the conclusion.
A while ago I wrote some information on admissibility in the article on inference rules. I think the material rightly belongs in that article, but surely the article "Admissible rule" shouldn't be a stub that's shorter than the discussion in some larger article. Thoughts? Brighterorange 22:04, 25 Apr 2005 (UTC)
