Logical Aspects of Computational Linguistics

Kandulski J. -Y. Marion C. Brun F. Lamarche G. Perrier TableofContents InvitedTalks StructuralEquationsinLanguageLearning. 1 MichaelMoortgat OntheDistinctionbetweenModel-TheoreticandGenerative-Enumerative SyntacticFrameworks. 17 Geo?reyK. Pullum,BarbaraC. Scholz ContributedPapers AFormalDe?nitionofBottom-UpEmbeddedPush-DownAutomataand TheirTabulationTechnique. 44 MiguelA. Alonso,EricdelaClergerie,ManuelVilares AnAlgebraicApproachtoFrenchSentenceStructure. 62 DanieleBargelli,JoachimLambek DeductiveParsingofVisualLanguages. 79 PaoloBottoni,BerndMeyer,KimMarriott,FrancescoParisiPresicce LambekGrammarsBasedonPregroups. 95 WojciechBuszkowski AnAlgebraicAnalysisofCliticPronounsinItalian. 110 ClaudiaCasadio,JoachimLambek Consistent Identi?cation in the Limit of Any of the Classes k-Valued Is NP-hard. 125 ChristopheCostaFlorˆencio PolarizedNon-projectiveDependencyGrammars. 139 AlexanderDikovsky OnMixingDeductionandSubstitutioninLambekCategorialGrammars. 158 AnnieForet A Framework for the Hyperintensional Semantics of Natural Language withTwoImplementations. 175 ChrisFox,ShalomLappin ACharacterizationofMinimalistLanguages. 193 HenkHarkema VIII TableofContents PartofSpeechTaggingfromaLogicalPointofView. 212 Torbjorn ¨ Lager,JoakimNivre TransformingLinearContext–FreeRewritingSystemsintoMinimalist Grammars. 228 JensMichaelis RecognizingHeadMovement. 245 EdwardP. Stabler CombinatorsforParaconsistentAttitudes. 261 JørgenVilladsen Combining Syntax and Pragmatic Knowledge for the Understanding of SpontaneousSpokenSentences. 279 JeanneVillaneau,Jean-YvesAntoine,OlivierRidoux AtomicityofSomeCategoriallyPolyvalentModi?ers. 296 R. Zuber AuthorIndex. 311 Structural Equations in Language Learning Michael Moortgat UtrechtInstituteofLinguistics—OTS Trans10,3512JKUtrecht,TheNetherlands Michael. Moortgat@let. uu. nl Abstract. Incategorialsystemswitha?xedstructuralcomponent,the learningproblemcomesdownto?ndingthesolutionforasetofty- assignmentequations. Ahard-wiredstructuralcomponentisproblematic ifonewanttoaddressissuesofstructuralvariation. Ourstartingpointis atype-logicalarchitecturewithseparatemodulesforthelogicalandthe structural components of the computational system.