LEADER 03524nam 22006135 450 001 996465320303316 005 20200705034322.0 010 $a3-540-46670-3 024 7 $a10.1007/3-540-55034-8 035 $a(CKB)1000000000233761 035 $a(SSID)ssj0000326274 035 $a(PQKBManifestationID)11242582 035 $a(PQKBTitleCode)TC0000326274 035 $a(PQKBWorkID)10296572 035 $a(PQKB)11086174 035 $a(DE-He213)978-3-540-46670-3 035 $a(PPN)155187414 035 $a(EXLCZ)991000000000233761 100 $a20121227d1991 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 12$aA Resolution Principle for a Logic with Restricted Quantifiers$b[electronic resource] /$fby Hans-Jürgen Bürckert 205 $a1st ed. 1991. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1991. 215 $a1 online resource (XII, 120 p.) 225 1 $aLecture Notes in Artificial Intelligence ;$v568 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-55034-8 327 $aPreliminaries -- Unification -- A logic with restricted quantifiers -- Equational constraint theories -- Conclusion. 330 $aThis monograph presents foundations for a constrained logic scheme treating constraints as a very general form of restricted quantifiers. The constraints - or quantifier restrictions - are taken from a general constraint system consisting of constraint theory and a set of distinguished constraints. The book provides a calculus for this constrained logic based on a generalization of Robinson's resolution principle. Technically, the unification procedure of the resolution rule is replaced by suitable constraint-solving methods. The calculus is proven sound and complete for the refutation of sets of constrained clauses. Using a new and elegant generalization of the notion ofa ground instance, the proof technique is a straightforward adaptation of the classical proof technique. The author demonstrates that the constrained logic scheme can be instantiated by well-known sorted logics or equational theories and also by extensions of predicate logics with general equational constraints or concept description languages. 410 0$aLecture Notes in Artificial Intelligence ;$v568 606 $aComputers 606 $aArtificial intelligence 606 $aMathematical logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aComputers. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aTheory of Computation. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 615 24$aMathematical Logic and Foundations. 676 $a006.3 700 $aBürckert$b Hans-Jürgen$4aut$4http://id.loc.gov/vocabulary/relators/aut$0545511 906 $aBOOK 912 $a996465320303316 996 $aResolution principle for a logic with restricted quantifiers$9888385 997 $aUNISA LEADER 03633nam 2200553Ia 450 001 9910827226603321 005 20200520144314.0 010 $a1-282-16340-X 010 $a9786612163401 010 $a90-272-9920-X 035 $a(CKB)1000000000551523 035 $a(SSID)ssj0000285693 035 $a(PQKBManifestationID)11204331 035 $a(PQKBTitleCode)TC0000285693 035 $a(PQKBWorkID)10320858 035 $a(PQKB)11022559 035 $a(MiAaPQ)EBC623291 035 $a(EXLCZ)991000000000551523 100 $a20000321d2000 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aWord order change in Icelandic $efrom OV to VO /$fThorbjorg Hroarsdottir 205 $a1st ed. 210 $aAmsterdam ;$aPhiladelphia $cJ. Benjamins$dc2000 215 $a1 online resource (xii, 385 pages) $cillustrations 225 1 $aLinguistik aktuell =$aLinguistics today,$x0166-0829 ;$vv. 35 300 $aBibliographic Level Mode of Issuance: Monograph 311 0 $a1-55619-209-6 311 0 $a90-272-2756-X 320 $aIncludes bibliographical references (p. [363]-377) and index. 327 $aWORD ORDER CHANGE IN ICELANDIC -- Editorial page -- Title page -- LCC page -- Table of Contents -- Acknowledgements -- Chapter 1. Introduction -- Chapter 2. Diachronic Syntax -- Chapter 3. Synchronic Theoretical Background -- Chapter 4. The Decline of OV Word Order -- Chapter 5. Base Word Order -- Chapter 6. The Nature of Preverbal Objects -- Chapter 7. Word Order Patterns -- Chapter 8. Object Positions -- Chapter 9. Parameter Change -- Chapter 10. Summary and Conclusions -- Appendices -- Appendix 1: Primary texts -- Appendix 2: Authors of nineteenth century letters -- Appendix 3: Bibliographical information for the nineteenth century letters -- Appendix 4: Preverbal nominal objects left -- Appendix 5: The decline of pure word order patterns within multiple complements -- Appendix 6: The decline of mixed word order patterns -- References -- Subject Index -- The Series LINGUISTIK AKTUELL/LINGUISTICS TODAY. 330 $aWhile Modern Icelandic exhibits a virtually uniform VO order in the VP, Old(er) Icelandic had both VO order and OV order, as well as 'mixed' word order patterns. In this volume, the author both examines the various VP-word order patterns from a descriptive and statistical point of view and provides a synchronic and diachronic analysis of VP-syntax in Old(er) Icelandic in terms of generative grammar. Her account makes use of a number of independently motivated ideas, notably remnant-movement of various kinds of predicative phrase, and the long movement associated with "restructuring" phenomena, to provide an analysis of OV orders and, correspondingly, a proposal as to which aspect of Icelandic syntax must have changed when VO word order became the norm: the essential change is loss of VP-extraction from VP. Although this idea is mainly supported here for Icelandic, it has numerous implications for the synchronic and diachronic analysis of other Germanic languages. 410 0$aLinguistik aktuell ;$vBd. 35. 606 $aIcelandic language$xWord order 606 $aOld Norse language$xWord order 615 0$aIcelandic language$xWord order. 615 0$aOld Norse language$xWord order. 676 $a439/.695 700 $aorbjorg Hroarsdottir$01596459 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910827226603321 996 $aWord order change in Icelandic$93917828 997 $aUNINA