[Prev][Next][Index][Thread]
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:
- Re: Affine
- From: "Vaughan R. Pratt" <pratt@CS.Stanford.EDU>
References:
- Affine
- From: Peter Freyd <pjf@saul.cis.upenn.edu>