Idempotency of entailment

From Wikipedia, the free encyclopedia

 All or part of this article may be confusing or unclear.
Please help clarify the article. Suggestions may be on the talk page. (December 2006)

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. In sequent calculi this property can be captured by a structural rule called contraction and in such systems one may say that entailment is idempotent just in case contraction is an admissible rule.

Rule of Contraction: from

A,C,C -> B

is derived

A,C -> B.

Or in sequent calculus notation,

\frac{\Gamma,C,C\vdash B}{\Gamma,C\vdash B}
This philosophy-related article is a stub. You can help Wikipedia by expanding it.