Revision history of "Weakening"

From Girard Reading Group

Jump to: navigation, search

Diff selection: mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.

Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.
  • (cur | prev) 03:38, 16 November 2007 Noam (Talk | contribs) (2,887 bytes) (New page: Weakening is the principle that if something holds, it doesn't stop holding when we add extra stuff. Formally, weakening tells us that if a sequent Γ ⊢ Δ is valid, so is Γ',Γ ⊢ Δ...)