Logical Aspects of Computational Linguistics

Inhalt

Invited Paper.- Deductions with Meaning.- Contributed Papers.- Computational Solutions for Structural Constraints.- Hypothetical Reasoning and Basic Non-Constituent Coordination in Yype-Logical Grammar.- Computational and Structural Aspects of Openly Specified Type Hierarchies.- Anaphora and Quantification in Categorial Grammar.- An LTAG Perspective on Categorial Inference.- Dominance Constraints: Algorithms and Complexity.- Strict Compositionality and Literal Movement Grammars.- Categorial Minimalism.- Sequential Construction of Logical Forms.- Derivational Minimalism Is Mildly Context-Sensitive.- Dominance Constraints in Context Unification.- A Revision System of Circular Objects and Its Applications to Dynamic Semantics of Dialogues.- Lexicalized Proof-Nets and TAGs.- Lambek Calculus Proofs and Tree Automata.- Grammars with Composite Storages.