Abstract is missing.
- Encoding Phases Using Commutativity and Non-commutativity in a Logical FrameworkMaxime Amblard. 1-16 [doi]
- Using Logic in the Generation of Referring ExpressionsCarlos Areces, Santiago Figueira, Daniel Gorín. 17-32 [doi]
- Polarized Classical Non-associative Lambek Calculus and Formal SemanticsArno Bastenhof. 33-48 [doi]
- The Product-Free Lambek-Grishin Calculus Is NP-CompleteJeroen Bransen. 49-63 [doi]
- Copredication, Quantification and FramesRobin Cooper. 64-79 [doi]
- On Dispersed and Choice Iteration in Incrementally Learnable Dependency TypesDenis Béchet, Alexander Ja. Dikovsky, Annie Foret. 80-95 [doi]
- Closure Properties of Minimalist Derivation Tree LanguagesThomas Graf. 96-111 [doi]
- Well-Nestedness Properly Subsumes Strict Derivational MinimalismMakoto Kanazawa, Jens Michaelis, Sylvain Salvati, Ryo Yoshinaka. 112-128 [doi]
- Minimalist Tree Languages Are Closed Under Intersection with Recognizable Tree LanguagesGregory M. Kobele. 129-144 [doi]
- Do Dialogues Have Content?Staffan Larsson. 145-158 [doi]
- Contextual Analysis of Word Meanings in Type-Theoretical SemanticsZhaohui Luo. 159-174 [doi]
- Logic Programming of the Displacement CalculusGlyn Morrill. 175-189 [doi]
- Conditional Logic ::::C::::::::::b:::::: and Its Tableau SystemYuri Ozaki, Daisuke Bekki. 190-204 [doi]
- Are (Linguists ) Propositions (Topos) Propositions?Carl Pollard. 205-218 [doi]
- Event in Compositional Dynamic SemanticsSai Qian, Maxime Amblard. 219-234 [doi]
- Using Tree Transducers for Grammatical InferenceNoémie-Fleur Sandillon-Rezer, Richard Moot. 235-250 [doi]
- Distributional Learning of Abstract Categorial GrammarsRyo Yoshinaka, Makoto Kanazawa. 251-266 [doi]
- Some Generalised Comparative DeterminersRichard Zuber. 267-281 [doi]