About: Idempotency of entailment
An Entity of Type: Abstraction100002137,
from Named Graph: http://dbpedia.org,
within Data Space: dbpedia.org
Idempotency of entailment is a property of logical systems that states that one may derive the same consequences from many instances of a hypothesis as from just one. This property can be captured by a structural rule called contraction, and in such systems one may say that entailment is idempotent if and only if contraction is an admissible rule. Rule of contraction: from A,C,C → B is derived A,C → B. Or in sequent calculus notation, In linear and affine logic, entailment is not idempotent.
| Property | Value |
|---|---|
| dbo:abstract |
|
| dbo:wikiPageID |
|
| dbo:wikiPageLength |
|
| dbo:wikiPageRevisionID |
|
| dbo:wikiPageWikiLink | |
| dbp:auto |
|
| dbp:date |
|
| dbp:wikiPageUsesTemplate | |
| dcterms:subject | |
| rdf:type | |
| rdfs:comment |
|
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| is dbo:wikiPageWikiLink of | |
| is foaf:primaryTopic of |
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License