LEADER 04607nam 22005415 450 001 9910789207603321 005 20200919234013.0 010 $a94-009-2213-2 024 7 $a10.1007/978-94-009-2213-6 035 $a(CKB)3400000000116794 035 $a(DE-He213)978-94-009-2213-6 035 $a(MiAaPQ)EBC3102357 035 $a(EXLCZ)993400000000116794 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMathematical Methods in Linguistics$b[electronic resource] /$fby Barbara B.H. Partee, A.G. ter Meulen, R. Wall 205 $a1st ed. 1993. 210 1$aDordrecht :$cSpringer Netherlands :$cImprint: Springer,$d1993. 215 $a1 online resource (xxii, 666 pages) 225 1 $aStudies in Linguistics and Philosophy,$x0924-4662 ;$v30 320 $aIncludes bibliographical references and index. 327 $aA Set Theory -- 1 Basic Concepts of Set Theory -- 2 Relations and Functions -- 3 Properties of Relations -- 4 Infinities -- B Logic and Formal Systems -- 5 Basic Concepts of Logic and Formal Systems -- 6 Statement Logic -- 7 Predicate Logic -- 8 Formal Systems, Axiomatization, and Model Theory -- C Algebra -- 9 Basic Concepts of Algebra -- 10 Operational Structures -- 11 Lattices -- 12 Boolean and Heyting Algebras -- D English As A Formal Language -- 13 Basic Concepts -- 14 Generalized Quantifiers -- 15 Intensionality -- E Languages, Grammars, and Automata -- 16 Basic Concepts -- 17 Finite Automata, Regular Languages and Type 3 Grammars -- 18 Pushdown Automata, Context Free Grammars and Languages -- 19 Turing Machines, Recursively Enumerable Languages and Type 0 Grammars -- 20 Linear Bounded Automata, Context Sensitive Languages and Type 1 Grammars -- 21 Languages Between Context Free and Context Sensitive -- 22 Transformational Grammars -- Solutions to Selected Exercises -- 1 -- 2 -- 3 -- 4 -- Review problems, Part A -- 6 -- 7 -- 8 -- Review problems, Part B -- 9 -- 10 -- 11 -- 12 -- Review problems, Part C -- 13 -- 14 -- 15 -- 17 -- 18 -- 19 -- 20 -- Appendix E-II -- Review problems, Part E. 330 $aElementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and model theory. The section on algebra is presented with an emphasis on lattices as well as Boolean and Heyting algebras. Background for recent research in natural language semantics includes sections on lambda-abstraction and generalized quantifiers. Chapters on automata theory and formal languages contain a discussion of languages between context-free and context-sensitive and form the background for much current work in syntactic theory and computational linguistics. The many exercises not only reinforce basic skills but offer an entry to linguistic applications of mathematical concepts. For upper-level undergraduate students and graduate students in theoretical linguistics, computer-science students with interests in computational linguistics, logic programming and artificial intelligence, mathematicians and logicians with interests in linguistics and the semantics of natural language. 410 0$aStudies in Linguistics and Philosophy,$x0924-4662 ;$v30 606 $aComputational linguistics 606 $aLogic 606 $aLanguage and languages?Philosophy 606 $aComputational Linguistics$3https://scigraph.springernature.com/ontologies/product-market-codes/N22000 606 $aLogic$3https://scigraph.springernature.com/ontologies/product-market-codes/E16000 606 $aPhilosophy of Language$3https://scigraph.springernature.com/ontologies/product-market-codes/E26000 615 0$aComputational linguistics. 615 0$aLogic. 615 0$aLanguage and languages?Philosophy. 615 14$aComputational Linguistics. 615 24$aLogic. 615 24$aPhilosophy of Language. 676 $a410.285 700 $aPartee$b Barbara B.H$4aut$4http://id.loc.gov/vocabulary/relators/aut$0164728 702 $ater Meulen$b A.G$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aWall$b R$4aut$4http://id.loc.gov/vocabulary/relators/aut 906 $aBOOK 912 $a9910789207603321 996 $aMathematical Methods in Linguistics$93748032 997 $aUNINA