Idempotency of entailment

This article does not cite any sources. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Idempotency of entailment" – news · newspapers · books · scholar · JSTOR (December 2009) (Learn how and when to remove this message)

Idempotency of entailment is a property of

Or in sequent calculus notation,

${\displaystyle {\frac {\Gamma ,C,C\vdash B}{\Gamma ,C\vdash B}}}$

In linear and affine logic, entailment is not idempotent.

See also

• No-deleting theorem

This logic-related article is a stub. You can help Wikipedia by expanding it.

• v
• t
• e