Structural rule A famous structural rule is known as cut. Considerable effort is spent by proof theorists in showing that cut rules are superfluous in various logics. More precisely, what is shown is that cut is only (in a sense) a tool for abbreviating proofs, and does not add to the theorems that can be proved. The successful 'removal' of cut rules, known as "cut elimination", is directly related to the philosophy of "computation as normalization" (see Curry–Howard correspondence); it often gives a good indication of the complexity of deciding a given logic. Structural rule In proof theory, a structural rule is
Cope's rule Cope's rule Cope's rule, named after American paleontologist Edward Drinker Cope, postulates that population lineages tend to increase in body size over evolutionary time. It was never actually stated by Cope, although he favoured the occurrence of linear evolutionary trends. It is sometimes also known as the Cope-Depéret rule, because Charles Depéret explicitly advocated the idea. Theodor Eimer had also done so earlier. The term "Cope's rule" was apparently coined by Bernhard Rensch, based on the fact that Depéret had "lionized Cope" in his book. While the rule has been demonstrated in many instances, it does not hold true at