Babylon NG
Simply the best definition!

Download it's free

Affine logic

Wikipedia English The Free Encyclopedia

Download this dictionary
Affine logic
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.

See more at

© This article uses material from Wikipedia® and is licensed under the GNU Free Documentation License and under the Creative Commons Attribution-ShareAlike License

| Affine logic in English