Affine logic

Affine logic is a substructural logic whose proof tbeory rejects tbe structural rule of contraction. It can also be characterized as linear logic with weakening. The name "affine logic" is associated with linear logic, to which it differs by allowing tbe weakening rule. Jean-Yves Girard introduced tbe name as part of tbe geometry of interaction semantics of linear logic, which characterizes linear logic in terms of linear algebra; here he alludes to affine transformations on vector spaces.