Structural rule
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.
Wikipage disambiguates
Admissible ruleAffine logicBunched logicContractionContraction (logic)Curry's paradoxExchange ruleHypersequentIdempotency of entailmentIndex of logic articlesIndex of philosophy articles (R–Z)Linear logicList of mathematical logic topicsMonotonicity of entailmentNatural deductionNoncommutative logicRule of contractionRule of exchangeRule of inferenceRule of weakeningStructure ruleSubstructural logicSubstructural type systemWeakeningWeakening (logic)
Link from a Wikipage to another Wikipage
primaryTopic
Structural rule
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.
has abstract
In proof theory, a structural ...... ified as substructural logics.
@en
Na teoria da prova, uma regra ...... s como lógicas subestruturais.
@pt
在证明论中,结构规则是不提及任何逻辑连结词的推理规则,它直接操作于判断或相继式。结构规则通常模仿逻辑的元理论性质。拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑。
@zh
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
966,326,203
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
hypernym
type
comment
In proof theory, a structural ...... ified as substructural logics.
@en
Na teoria da prova, uma regra ...... s como lógicas subestruturais.
@pt
在证明论中,结构规则是不提及任何逻辑连结词的推理规则,它直接操作于判断或相继式。结构规则通常模仿逻辑的元理论性质。拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑。
@zh
label
Regra estrutural
@pt
Structural rule
@en
结构规则
@zh