|
Courses and Workshops
|
| Title: | Linear logic |
| Lecturer(s): | Valeria de Paiva (PARC) and Richard Crouch (PARC) |
| Type: | Foundational Course |
| Section: | Logic and Computation |
| Week: | First | | Time: | 9.00-10.30 (Slot 1) |
| Webpage: | http://www.cs.bham.ac.uk/~vdp/
|
| Reader: | Download | | Room: | A2 |
Description The proposed course is essentially a re-run of Crouch's ESSLLI-2000
course on linear logic for linguists, combined with elements of Paiva's
ESSLLI-96 course on models of linear logic.
This *really* is a foundational course that introduces proof theory from
scratch (sequent calculus, natural deduction, tableau); relates proof
structures to linguistic structures (such as parse trees); explains the
proof theoretic motivations for the development of linear logic and its
adjustment of structural rules; discusses intuitionistic proof nets and
how they can correspond to lambda-terms in semantic representations;
introduces some of the models for linear logic.
Prerequisites: some familiarity with first order logic and the lambda
calculus (e.g. chapters 1 and 2 of Blackburn and Bos, vol 1), would
help, but is probably not essential.
|
© 2003, 2004 LORIA, Carlos Areces. |
2003-11-20
| |
