Logical Aspects of Computational Linguistics

Logical Grammars, Logical Theories. -Ludics and Natural Language: First Approaches. -The Non Cooperative Basis of Implicatures . -Movement-Generalized Minimalist Grammars. -Toward the Formulation of Presupposition by Illative Combinatory Logic . -Abstract Automata and a Normal Form for Categorial Dependency Grammars. -Importing Montagovian Dynamics into Minimalism. -CoTAGs and ACGs . -Gapping as Like-Category Coordination. -L-Completeness of the Lambek Calculus with the Reversal Operation . -Distributive Full Nonassociative Lambek Calculus with S4-Modalities Is Context-Free . -Common Nouns as Types. -Extractability as the Deduction Theorem in Subdirectional Combinatory Logic . -Agnostic Possible Worlds Semantics. -Abstract Machines for Argumentation. -On the Completeness of Lambek Calculus with Respect to Cofinite Language Models. -Dot-Types and Their Implementation. -