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.
Attributes | Values |
---|
rdf:type
| |
rdfs:label
| - Idempotency of entailment (en)
- Контрарність (uk)
|
rdfs:comment
| - 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. (en)
- Контра́рність — логічне відношення між двома простими порівнянними судженнями, які не можуть бути одночасно істинними, але можуть бути одночасно помилковими, тому що між ними завжди є третій, проміжний варіант. В численні секвенцій позначається як . (uk)
|
dcterms:subject
| |
Wikipage page ID
| |
Wikipage revision ID
| |
Link from a Wikipage to another Wikipage
| |
sameAs
| |
dbp:wikiPageUsesTemplate
| |
auto
| |
date
| |
has abstract
| - 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. (en)
- Контра́рність — логічне відношення між двома простими порівнянними судженнями, які не можуть бути одночасно істинними, але можуть бути одночасно помилковими, тому що між ними завжди є третій, проміжний варіант. В численні секвенцій позначається як . (uk)
|
prov:wasDerivedFrom
| |
page length (characters) of wiki page
| |
foaf:isPrimaryTopicOf
| |
is Link from a Wikipage to another Wikipage
of | |
is foaf:primaryTopic
of | |