glue booster

[Josef Van Genabith CA]

> Avery Andrews writes:

> I'm wondering if there would be any interest in a sort of `logic
> booster' tutorial paper (basically reworked & organized extracts
> from Troelstra & a few other souces) to make it easier for people to
> get from the level of half-remembered intro logic & montague grammar
> courses to really understanding what's going in the glue language
> papers.

there is a great book-sized draft by Dick Crouch crouch at parc.xerox.com
on "Linear Logic for Linguists". It gives a wonderful introduction to
proof theory (the major motivation for linear logic), very accessible
and well explained, goes on to introduce linear logic and takes you
all the way to linguistic applications.

Josef van Genabith