Affine logic: Difference between revisions
Content deleted Content added
JackSchmidt (talk | contribs) m no opening, needs copyedit, stubby, no reliable refs, dupe links using AWB |
→See also: Removed double stub |
||
| Line 21: | Line 21: | ||
{{unref|date=December 2007}} <!-- mailing list is not a reliable source --> |
{{unref|date=December 2007}} <!-- mailing list is not a reliable source --> |
||
{{logic-stub}} |
|||
Revision as of 19:16, 27 January 2008
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 .
Whereas full linear logic (ie. linear logic with multiplicatives, additives and exponentials) is undecidable, full affine logic is decidable.
Affine logic forms the foundation of ludics.
References
- Gianluigi Bellin, 1991. 'affine logic'. Message to the TYPES mailing list.
- Jean-Yves Girard, 1997. 'Affine'. Message to the TYPES mailing list.
See also
 | This logic-related article is a stub. You can help Wikipedia by expanding it. |
 |