Your continued donations keep Wikipedia running!    

Idempotency of entailment

From Wikipedia, the free encyclopedia

Jump to: navigation, search
To meet Wikipedia's quality standards and make it easier to understand, this article or section may require cleanup.
This article or section may be confusing for some readers, and should be edited to be clearer or more simplified.
Please improve the article, or discuss the issue on the talk page.

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.


This philosophy-related article is a stub. You can help Wikipedia by expanding it.
Retrieved from "http://en.wikipedia.org/wiki/Idempotency_of_entailment"
Personal tools