A substructural logic that denies the structural rule of contraction. It can also be characterized as linear logic with weakening.
Affine logic can be embedded into linear logic by rewriting the affine arrow <math>A \rightarrow B<math> as the linear arrow <math>A {-\!\circ} B \otimes \top<math>.
Affine logic forms the foundation of ludics.
