AFFINE LOGIC
Logics that drop the structural rule of contraction while retaining weakening. A hypothesis may be used at most once, but need not be used at all: resources are consumable but discardable. This is the "use-at-most-once" discipline, weaker than linear logic's exact-use requirement.
The subdivision is small and centered on the affine calculus itself, its sequent presentation without contraction, and its resource reading.