Schedule, Slides and other Course Material
| Date | Topics | Slides | Handout | Readings |
|---|---|---|---|---|
| Wed, June 6 | Overview, Proof Theory | Intro, Proofs | Intro, Proofs | Linear Logic for Linguists |
| Mon, June 11 | Typed Lambda Calculus, Higher Order Logic | TLC, HOL | TLC, HOL | |
| Wed, June 13 | Agnostic Semantics | Agnostic Semantics, Background to Linear Grammar | Agnostic Semantics, Background to LG | Agnostic Possible Worlds Semantics, Hyperintensions |
| Fri, June 15 | Linear Grammar | Linear Grammar | LG | Oehrle 1994,Muskens 2003,Muskens 2007,Mihalicek and Pollard 2010 |
| Mon, June 18 | Linear Grammar, continued | Control & Raising, Empty Categories in LG, Predicatives, Nonfinite Verbs | ||
| Wed, June 20 | Parasitic Scope | Parasitic Scope | Parasitic Scope | SALT 2012 poster |
| Mon, June 25 | Word Order, Pheno Technology | Word Order, Pheno Technology | Pheno Technology | Serbo-Croatian word order |
| Wed, June 27 | Dutch Word Order | Verb Lowering in Dutch (updated!) | Verb Lowering in Dutch (updated!) | Donkeys in DyCG, Hyperintentional Dynamic Semantics |