This article will be permanently flagged as inappropriate and made unaccessible to everyone. Are you certain this article is inappropriate? Excessive Violence Sexual Content Political / Social
Email Address:
Article Id: WHEBN0000697666 Reproduction Date:
In proof theory, a structural rule is an inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly. Structural rules often mimic intended meta-theoretic properties of the logic. Logics that deny one or more of the structural rules are classified as substructural logics.
Three common structural rules are:
A logic without any of the above structural rules would interpret the sides of a sequent as pure sequences; with exchange, they are multisets; and with both contraction and exchange they are sets.
These are not the only possible structural rules. 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.
Logic, Linear logic, Non-classical logic, Relevant logic, Rewriting
Linguistics, Substructural logic, Structural rule, Classical logic, Intuitionistic logic
Logic, Classical logic, Logical truth, Philosophical logic, Modal logic
Mathematical logic, Foundations of mathematics, Model theory, Syntax (logic), Classical logic
Foundations of mathematics, Platonism, Rhetoric, Formalism (mathematics), Mathematics
Classical logic, Structural rule, Logical consequence, Propositional calculus, Predicate logic