LEADER 00920nam a2200253 i 4500 001 991001241249707536 008 971016s1987 it ||| | ita 020 $a8841536268 035 $ab13341881-39ule_inst 040 $aDip.to Scienze Storiche Filosof. e Geogr.$bita 245 10$aBasilicata, Calabria, Sicilia Sardegna 260 $aNovara :$bIstituto geografico De Agostini,$c[1987] 300 $a278 p. :$bill. ;$c22 cm. 440 0$aGuida turistica d'Italia 650 4$aSardegna$xGuide 650 4$aSicilia$xGuide 651 4$aBasilicata$xGuide 651 4$aCalabria$xGuide 907 $a.b13341881$b21-09-06$c05-10-05 912 $a991001241249707536 945 $aLE009 GEOG.14.4-106$g1$i2009000359888$lle009$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i14132710$z05-10-05 996 $aBasilicata, Calabria, Sicilia Sardegna$9209020 997 $aUNISALENTO 998 $ale009$b01-01-97$cm$da $e-$fita$git $h0$i1 LEADER 03621nam 2200685Ia 450 001 9910782765603321 005 20230721004534.0 010 $a1-281-99958-X 010 $a9786611999582 010 $a3-11-021178-5 024 7 $a10.1515/9783110211788 035 $a(CKB)1000000000697924 035 $a(EBL)429233 035 $a(OCoLC)437112794 035 $a(SSID)ssj0000193921 035 $a(PQKBManifestationID)11197928 035 $a(PQKBTitleCode)TC0000193921 035 $a(PQKBWorkID)10226462 035 $a(PQKB)11431027 035 $a(MiAaPQ)EBC429233 035 $a(DE-B1597)35436 035 $a(OCoLC)571536333 035 $a(OCoLC)703213376 035 $a(DE-B1597)9783110211788 035 $a(Au-PeEL)EBL429233 035 $a(CaPaEBR)ebr10275832 035 $a(CaONFJC)MIL199958 035 $a(EXLCZ)991000000000697924 100 $a20080724d2008 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aLogics for linguistic structures$b[electronic resource] /$fedited by Fritz Hamm, Stephan Kepser 210 $aBerlin ;$aNew York $cMouton de Gruyter$dc2008 215 $a1 online resource (188 p.) 225 1 $aTrends in linguistics. Studies and monographs,$x1861-4302 ;$v201 300 $aDescription based upon print version of record. 311 $a3-11-020469-X 320 $aIncludes bibliographical references and index. 327 $t Frontmatter -- $tContents -- $tIntroduction -- $tType Theory with Records and unification-based grammar -- $tOne-letter automata: How to reduce k tapes to one -- $tTwo aspects of situated meaning -- $tFurther excursions in natural logic: The Mid-Point Theorems -- $tOn the logic of LGB type structures. Part I: Multidominance structures -- $tCompleteness theorems for syllogistic fragments -- $t Backmatter 330 $aThe contributions collected in this voume address central topics in theoretical and computational linguistics, such as quantification, types of context dependence and aspects concerning the formalisation of major grammatical frameworks, among others GB, DRT and HPSG. All contributions have in common a strong preference for logic as the major tool of analysis. The first main issue concerns the combination of DRT and HPSG styles of analysis into a single system for natural language processing. The second central issue concerns the logical and automata - theoretical foundations of descriptive formalisms presently in the focus of attention, for instance minimalism. A third issue is the significance of context and locality within an algorithmic notion of meaning. The last topic addressed concerns subclasses of empirically highly significant quantificational devices like proportionality quantifiers and quantifiers which give rise to sound and complete logics for non-trivial fragments of English. The volume will be of great benefit for theoretical and computational linguists, computer scientists, philosophers, and logicians. 410 0$aTrends in linguistics.$pStudies and monographs ;$v201. 606 $aComputational linguistics 606 $aLanguage and logic 610 $aLogics. 610 $agenerative grammar. 615 0$aComputational linguistics. 615 0$aLanguage and logic. 676 $a401 701 $aHamm$b Fritz$f1953-$0734299 701 $aKepser$b Stephan$f1967-$01544959 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910782765603321 996 $aLogics for linguistic structures$93799560 997 $aUNINA