Affine logic: Difference between revisions
Jump to navigation
Jump to search
m (Text replacement - "[[Category:" to "|[[Category:") |
m (Text replacement - "tbe " to "the ") Tag: Manual revert |
||
| (14 intermediate revisions by 4 users not shown) | |||
| Line 1: | Line 1: | ||
'''Affine logic''' is a substructural logic whose proof | '''Affine logic''' is a substructural logic whose proof [[Theory]] rejects the 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 the weakening rule. Jean-Yves Girard introduced the name as part of the 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. | ||
[[Category:Definitions]] | |||
Latest revision as of 14:07, 28 April 2024
Affine logic is a substructural logic whose proof Theory rejects the 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 the weakening rule. Jean-Yves Girard introduced the name as part of the 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.