glue booster

[Richard S. Crouch]

For what it's worth, Josef van Genabith and I gave a lecture
course at this years European Summer School on Logic Language
and Information, entitled "Linear Logic for Linguists".

There's a rough draft of the notes available at

   http://www.cs.bham.ac.uk/~esslli/notes/crouch.html

The chapter on glue languages needs a lot of reworking, but the
material on proof systems, structural rules and linear logic
should be relatively self contained.

Dick Crouch

Avery Andrews wrote:
> 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.