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...
4 KB (583 words) - 10:34, 28 April 2024
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...
11 KB (1,470 words) - 13:01, 19 August 2024
has been systematically studied only in the case of structural (i.e. substitution-closed) rules in propositional non-classical logics, which we will...
29 KB (4,821 words) - 11:33, 23 February 2024
Structuralism is an intellectual current and methodological approach, primarily in the social sciences, that interprets elements of human culture by way...
33 KB (3,959 words) - 11:08, 17 August 2024
Sequent calculus (section Structural rules)
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...
51 KB (5,851 words) - 13:28, 18 August 2024
Structural adjustment programs (SAPs) consist of loans (structural adjustment loans; SALs) provided by the International Monetary Fund (IMF) and the World...
50 KB (6,136 words) - 01:34, 4 August 2024
Affine logic, a substructural logic whose proof theory rejects the structural rule of contraction Affine representation, a continuous group homomorphism...
2 KB (284 words) - 11:16, 5 November 2021
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...
8 KB (1,182 words) - 22:31, 18 August 2024
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...
3 KB (328 words) - 13:45, 28 February 2024
from an analysis of classical sequent calculus in which uses of (the structural rules) contraction and weakening are carefully controlled. Operationally...
33 KB (2,919 words) - 20:37, 9 August 2024