Beschreibung
InhaltsangabeLogical 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.-