Affine logic

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 as the linear arrow .

Affine logic forms the foundation of ludics.

See also

• Linear logic
• Strict logic and relevant logic
• Substructural logic
• Ludics