Re: Affine

Thanks to Vaughn and Peter for some nice descriptions of geometrically affine
things, but I think the original question is still not answered: why is affine
logic called affine? I would be very disappointed if the answer is "because
you obtain it by loosening up linear logic a bit, just like you obtain affine
geometry by loosening up linear geometry a bit". I'd imagine that the
*character* of the two "loosening-ups" should be similar.

Follow-Ups: References: