| dbo:abstract |
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. (en) Na teoria da prova, uma regra estrutural é uma regra de inferência que não se refere a qualquer conectivo lógico, mas em vez disso, atua na sentença ou nos sequentes diretamente. Regras estruturais frequentemente imitam propriedades meta-teóricas da lógica. Lógicas que negam uma ou mais regras estruturais são classificados como lógicas subestruturais. (pt) 在证明论中，结构规则是不提及任何逻辑连结词的推理规则，它直接操作于判断或相继式。结构规则通常模仿逻辑的元理论性质。拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑。 (zh) |
| dbo:wikiPageID |
697666 (xsd:integer) |
| dbo:wikiPageLength |
3201 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID |
1122837409 (xsd:integer) |
| dbo:wikiPageWikiLink |
dbr:Resolution_(logic) dbr:Cut-elimination_theorem dbr:Cut_rule dbr:Decision_problem dbc:Proof_theory dbr:Multiset dbr:Computation dbr:Computational_complexity_theory dbr:Idempotency_of_entailment dbr:Automated_theorem_proving dbr:Curry–Howard_correspondence dbr:Judgment_(mathematical_logic) dbr:Logical_connective dbr:Proof_theory dbc:Rules_of_inference dbr:Sequence dbr:Set_(mathematics) dbr:Sequent dbr:Turnstile_(symbol) dbr:Substructural_logic dbr:Inference_rule |
| dbp:wikiPageUsesTemplate |
dbt:Anchor dbt:Annotated_link dbt:For dbt:Short_description dbt:Unreferenced dbt:Non-classical_logic |
| dct:subject |
dbc:Proof_theory dbc:Rules_of_inference |
| gold:hypernym |
dbr:Rule |
| rdf:type |
yago:WikicatRulesOfInference yago:Abstraction100002137 yago:Cognition100023271 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:PsychologicalFeature100023100 dbo:Country yago:Rule105846054 |
| rdfs:comment |
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. (en) Na teoria da prova, uma regra estrutural é uma regra de inferência que não se refere a qualquer conectivo lógico, mas em vez disso, atua na sentença ou nos sequentes diretamente. Regras estruturais frequentemente imitam propriedades meta-teóricas da lógica. Lógicas que negam uma ou mais regras estruturais são classificados como lógicas subestruturais. (pt) 在证明论中，结构规则是不提及任何逻辑连结词的推理规则，它直接操作于判断或相继式。结构规则通常模仿逻辑的元理论性质。拒绝一个或多个结构规则的逻辑被归类为亚结构逻辑。 (zh) |
| rdfs:label |
Regra estrutural (pt) Structural rule (en) 结构规则 (zh) |
| owl:sameAs |
freebase:Structural rule wikidata:Structural rule dbpedia-pt:Structural rule dbpedia-zh:Structural rule https://global.dbpedia.org/id/4DB6H yago-res:Structural rule |
| prov:wasDerivedFrom |
wikipedia-en:Structural_rule?oldid=1122837409&ns=0 |
| foaf:isPrimaryTopicOf |
wikipedia-en:Structural_rule |
| is dbo:wikiPageRedirects of |
dbr:Rule_of_contraction dbr:Contraction_(logic) dbr:Weakening_(logic) dbr:Rule_of_exchange dbr:Rule_of_weakening dbr:Exchange_rule dbr:Structure_rule |
| is dbo:wikiPageWikiLink of |
dbr:Rule_of_contraction dbr:Index_of_logic_articles dbr:Index_of_philosophy_articles_(R–Z) dbr:List_of_mathematical_logic_topics dbr:Substructural_type_system dbr:Contraction_(logic) dbr:Noncommutative_logic dbr:Linear_logic dbr:Idempotency_of_entailment dbr:Admissible_rule dbr:Type_theory dbr:Weakening_(logic) dbr:Natural_deduction dbr:Hypersequent dbr:Affine_logic dbr:Bunched_logic dbr:Rule_of_inference dbr:Substructural_logic dbr:Rule_of_exchange dbr:Rule_of_weakening dbr:Exchange_rule dbr:Structure_rule |
| is foaf:primaryTopic of |
wikipedia-en:Structural_rule |