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
Plain meaning rule Plain meaning rule The plain meaning rule, also known as the literal rule, is one of three rules of statutory construction traditionally applied by English courts. The other two are the "mischief rule" and the "golden rule". The plain meaning rule dictates that statutes are to be interpreted using the ordinary meaning of the language of the statute. In other words, a statute is to be read word for word and is to be interpreted according to the ordinary meaning of the language, unless a statute explicitly defines some of its terms otherwise or unless the result would be cruel