Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Structural_rule> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- Structural_rule 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.".
- Structural_rule wikiPageID "697666".
- Structural_rule wikiPageRevisionID "580850539".
- Structural_rule hasPhotoCollection Structural_rule.
- Structural_rule subject Category:Proof_theory.
- Structural_rule subject Category:Rules_of_inference.
- Structural_rule type Abstraction100002137.
- Structural_rule type Cognition100023271.
- Structural_rule type Concept105835747.
- Structural_rule type Content105809192.
- Structural_rule type Idea105833840.
- Structural_rule type PsychologicalFeature100023100.
- Structural_rule type Rule105846054.
- Structural_rule type RulesOfInference.
- Structural_rule 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.".
- Structural_rule label "Structural rule".
- Structural_rule label "结构规则".
- Structural_rule sameAs m.033nvk.
- Structural_rule sameAs Q4548693.
- Structural_rule sameAs Q4548693.
- Structural_rule sameAs Structural_rule.
- Structural_rule wasDerivedFrom Structural_rule?oldid=580850539.
- Structural_rule isPrimaryTopicOf Structural_rule.