Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Structural_rule> ?p ?o }
Showing triples 1 to 54 of
54
with 100 triples 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 wikiPageLength "2892".
- Structural_rule wikiPageOutDegree "25".
- Structural_rule wikiPageRevisionID "699302373".
- Structural_rule wikiPageWikiLink Affine_logic.
- Structural_rule wikiPageWikiLink Automated_theorem_proving.
- Structural_rule wikiPageWikiLink Category:Proof_theory.
- Structural_rule wikiPageWikiLink Category:Rules_of_inference.
- Structural_rule wikiPageWikiLink Computation.
- Structural_rule wikiPageWikiLink Computational_complexity_theory.
- Structural_rule wikiPageWikiLink Curry–Howard_correspondence.
- Structural_rule wikiPageWikiLink Cut-elimination_theorem.
- Structural_rule wikiPageWikiLink Cut_rule.
- Structural_rule wikiPageWikiLink Decision_problem.
- Structural_rule wikiPageWikiLink Judgment_(mathematical_logic).
- Structural_rule wikiPageWikiLink Linear_logic.
- Structural_rule wikiPageWikiLink Logical_connective.
- Structural_rule wikiPageWikiLink Multiset.
- Structural_rule wikiPageWikiLink Noncommutative_logic.
- Structural_rule wikiPageWikiLink Proof_theory.
- Structural_rule wikiPageWikiLink Resolution_(logic).
- Structural_rule wikiPageWikiLink Rule_of_inference.
- Structural_rule wikiPageWikiLink Separation_logic.
- Structural_rule wikiPageWikiLink Sequence.
- Structural_rule wikiPageWikiLink Sequent.
- Structural_rule wikiPageWikiLink Set_(mathematics).
- Structural_rule wikiPageWikiLink Strict_logic.
- Structural_rule wikiPageWikiLink Substructural_logic.
- Structural_rule wikiPageWikiLink Turnstile_(symbol).
- Structural_rule wikiPageWikiLinkText "Structural rule".
- Structural_rule wikiPageWikiLinkText "Structural rule#Weakening".
- Structural_rule wikiPageWikiLinkText "contraction".
- Structural_rule wikiPageWikiLinkText "exchange rule".
- Structural_rule wikiPageWikiLinkText "exchange".
- Structural_rule wikiPageWikiLinkText "structural rule".
- Structural_rule wikiPageWikiLinkText "weakening".
- Structural_rule wikiPageUsesTemplate Template:Anchor.
- Structural_rule wikiPageUsesTemplate Template:For.
- Structural_rule wikiPageUsesTemplate Template:Non-classical_logic.
- Structural_rule wikiPageUsesTemplate Template:Unreferenced.
- Structural_rule subject Category:Proof_theory.
- Structural_rule subject Category:Rules_of_inference.
- Structural_rule hypernym Rule.
- Structural_rule type Country.
- Structural_rule type Proof.
- 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 sameAs Q4548693.
- Structural_rule sameAs m.033nvk.
- Structural_rule sameAs Q4548693.
- Structural_rule sameAs 结构规则.
- Structural_rule wasDerivedFrom Structural_rule?oldid=699302373.
- Structural_rule isPrimaryTopicOf Structural_rule.