About: Structural rule

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Structural rule Goto Sponge NotDistinct Permalink

An Entity of Type : yago:Rule105846054, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FStructural_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.

Attributes	Values
rdf:type	yago:WikicatRulesOfInference yago:Abstraction100002137 yago:Cognition100023271 yago:Concept105835747 yago:Content105809192 yago:Idea105833840 yago:PsychologicalFeature100023100 country yago:Rule105846054
rdfs:label	Regra estrutural (pt) Structural rule (en) 结构规则 (zh)
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)
dcterms:subject	Proof theory Rules of inference
Wikipage page ID	697666 (xsd:integer)
Wikipage revision ID	1122837409 (xsd:integer)
Link from a Wikipage to another Wikipage	Resolution (logic) Cut-elimination theorem Cut rule Decision problem Proof theory Multiset Computation Computational complexity theory Idempotency of entailment Automated theorem proving Curry–Howard correspondence Judgment (mathematical logic) Logical connective Proof theory Rules of inference Sequence Set (mathematics) Sequents Turnstile (symbol) Substructural logic Inference rule
sameAs	Structural rule Structural rule Structural rule Structural rule Structural rule Structural rule
dbp:wikiPageUsesTemplate	dbt:Anchor dbt:Annotated_link dbt:For dbt:Short_description dbt:Unreferenced dbt:Non-classical_logic
has 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)
gold:hypernym	Rule
prov:wasDerivedFrom	wikipedia-en:Structural_rule?oldid=1122837409&ns=0
page length (characters) of wiki page	3201 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Structural_rule
is Link from a Wikipage to another Wikipage of	Rule of contraction Index of logic articles Index of philosophy articles (R–Z) List of mathematical logic topics Substructural type system Contraction (logic) Noncommutative logic Linear logic Idempotency of entailment Admissible rule Type theory Weakening (logic) Natural deduction Hypersequent Affine logic Bunched logic Rule of inference Substructural logic Rule of exchange Rule of weakening Exchange rule Structure rule
is Wikipage redirect of	Rule of contraction Contraction (logic) Weakening (logic) Rule of exchange Rule of weakening Exchange rule Structure rule
is foaf:primaryTopic of	wikipedia-en:Structural_rule

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (62 GB total memory, 54 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software