In the logical discipline of proof theory, a structural rule is an inference rule of a sequent calculus that does not refer to any logical connective but...

In logic and philosophy of logic, a rule of inference, inference rule or transformation rule is a logical form consisting of a function which takes premises...

has been systematically studied only in the case of structural (i.e. substitution-closed) rules in propositional non-classical logics, which we will...

Structuralism is an intellectual current and methodological approach, primarily in the social sciences, that interprets elements of human culture by way...

each of three structural rules; one for use on the left ('L') of a ⊢ {\displaystyle \vdash } , and the other on its right ('R'). The rules are abbreviated...

Structural adjustment programs (SAPs) consist of loans (structural adjustment loans; SALs) provided by the International Monetary Fund (IMF) and the World...

Affine logic, a substructural logic whose proof theory rejects the structural rule of contraction Affine representation, a continuous group homomorphism...

they are interpreted by in the sequent calculus: the structural operators are used in every rule of the calculus, and are not considered when asking whether...

Affine logic is a substructural logic whose proof theory rejects the structural rule of contraction. It can also be characterized as linear logic with weakening...

from an analysis of classical sequent calculus in which uses of (the structural rules) contraction and weakening are carefully controlled. Operationally...