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
Mischief rule Mischief rule The mischief rule is one of three rules of statutory interpretation traditionally applied by English courts. The other two are the "plain meaning rule" (also known as the "literal rule") and the "golden rule". The main aim of the rule is to determine the "mischief and defect" that the statute in question has set out to remedy, and what ruling would effectively implement this remedy. In applying the mischief rule, the court is essentially asking what part of the law did the law not cover, but was meant to be rectified by Parliament in passing the bill. The