Cargando…
Handbook of logic and language /
This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of <Q>Logic and Linguistics</Q> goes back a long way, at least to the wo...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; New York : Cambridge, Mass. :
Elsevier ; MIT Press,
1997.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | SCIDIR_ocn162130770 | ||
| 003 | OCoLC | ||
| 005 | 20231117014841.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070802s1997 ne a ob 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OCLCG |d OCLCQ |d N$T |d YDXCP |d MERUC |d E7B |d IDEBK |d TULIB |d OCLCQ |d OCLCA |d OCLCE |d OCLCO |d OCLCA |d OCLCF |d OCLCQ |d COO |d OCLCQ |d OCLCO |d STF |d D6H |d OCLCO |d OCLCQ |d LEAUB |d OCLCO |d OL$ |d BWN |d OCLCQ |d ADU |d LUN |d S2H |d OCLCA |d OCLCO |d OCLCQ |d OCLCO |d COM |d OCLCO |d OCLCQ |d OCLCO | ||
| 019 | |a 182522076 |a 441810710 |a 647688788 |a 696033397 |a 779919876 |a 989202972 |a 1035710382 |a 1102530651 |a 1110361823 |a 1113388293 |a 1154287896 |a 1160040684 | ||
| 020 | |a 9780444817143 | ||
| 020 | |a 044481714X | ||
| 020 | |a 9780080533087 |q (electronic bk.) | ||
| 020 | |a 0080533086 |q (electronic bk.) | ||
| 020 | |z 0262220539 |q (MIT Press ; |q cacid-free ppaer) | ||
| 020 | |z 9780262220538 |q (MIT Press ; |q cacid-free ppaer) | ||
| 035 | |a (OCoLC)162130770 |z (OCoLC)182522076 |z (OCoLC)441810710 |z (OCoLC)647688788 |z (OCoLC)696033397 |z (OCoLC)779919876 |z (OCoLC)989202972 |z (OCoLC)1035710382 |z (OCoLC)1102530651 |z (OCoLC)1110361823 |z (OCoLC)1113388293 |z (OCoLC)1154287896 |z (OCoLC)1160040684 | ||
| 042 | |a dlr | ||
| 050 | 4 | |a QA76.9.N38 |b H36 1997eb | |
| 072 | 7 | |a LAN |x 000000 |2 bisacsh | |
| 082 | 0 | 4 | |a 401/.5113 |2 22 |
| 084 | |a 08.33 |2 bcl | ||
| 084 | |a 17.46 |2 bcl | ||
| 245 | 0 | 0 | |a Handbook of logic and language / |c edited by Johan van Benthem, Alice ter Meulen. |
| 246 | 1 | 4 | |a Handbook of logic & language |
| 260 | |a Amsterdam ; |a New York : |b Elsevier ; |a Cambridge, Mass. : |b MIT Press, |c 1997. | ||
| 300 | |a 1 online resource (xxiii, 1247 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |a This Handbook documents the main trends in current research between logic and language, including its broader influence in computer science, linguistic theory and cognitive science. The history of the combined study of <Q>Logic and Linguistics</Q> goes back a long way, at least to the work of the scholastic philosophers in the Middle Ages. At the beginning of this century, the subject was revitalized through the pioneering efforts of Gottlob Frege, Bertrand Russell, and Polish philosophical logicians such as Kazimierz Ajdukiewicz. Around 1970, the landmark achievements of Richard Montague established a junction between state-of-the-art mathematical logic and generative linguistic theory. Over the subsequent decades, this enterprise of Montague Grammar has flourished and diversified into a number of research programs with empirical and theoretical substance. This appears to be the first Handbook to bring logic-language interface to the fore. Both aspects of the interaction between logic and language are demonstrated in the book i.e. firstly, how logical systems are designed and modified in response to linguistic needs and secondly, how mathematical theory arises in this process and how it affects subsequent linguistic theory. The Handbook presents concise, impartial accounts of the topics covered. Where possible, an author and a commentator have cooperated to ensure the proper breadth and technical content of the papers. The Handbook is self-contained, and individual articles are of the highest quality. | ||
| 504 | |a Includes bibliographical references and indexes. | ||
| 505 | 0 | |a Montague grammar / B.H. Partee with H.L.W. Hendricks -- Categorial type logics / M. Moortgat -- Representing discourse in context / J. van Eijck and H. Kamp -- Situation theory / J. Seligman and L.S. Moss -- GB theory : an introduction / J. Higginbotham -- Gametheoretical semantics / J. Hintikka and G. Sandu -- Compositionality (with an appendix by Barbara H. Partee) / T.M.V. Janssen -- Feature logics / W.C. Rounds -- Types / R. Turner -- Dynamics / R. Muskens, J. van Benthem and A. Visser -- Partiality / J.E. Fenstad -- Mathematical linguistics and proof theory / W. Buszkowski -- Formal learning theory / D. Osherson [and others] -- Nonmonotonicity in linguistics / R.H. Thomason -- Generalized quantifiers in linguistics and logic / E.L. Keenan and D. Westerst�ahl -- Temporality / M. Steedman -- Presupposition / D.I. Beaver -- Plurals and collectivity / J.T. L�nning -- Questions / J. Groenendijk and M. Stokhof -- Generics and defaults / F.J. Pelletier and N. Asher. | |
| 588 | 0 | |a Print version record. | |
| 506 | |3 Use copy |f Restrictions unspecified |2 star |5 MiAaHDL | ||
| 533 | |a Electronic reproduction. |b [Place of publication not identified] : |c HathiTrust Digital Library, |d 2011. |5 MiAaHDL | ||
| 538 | |a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. |u http://purl.oclc.org/DLF/benchrepro0212 |5 MiAaHDL | ||
| 583 | 1 | |a digitized |c 2011 |h HathiTrust Digital Library |l committed to preserve |2 pda |5 MiAaHDL | |
| 650 | 0 | |a Natural language processing (Computer science) | |
| 650 | 0 | |a Logic, Symbolic and mathematical. | |
| 650 | 0 | |a Semantics. | |
| 650 | 0 | |a Linguistics. | |
| 650 | 2 | |a Natural Language Processing |0 (DNLM)D009323 | |
| 650 | 2 | |a Semantics |0 (DNLM)D012660 | |
| 650 | 2 | |a Linguistics |0 (DNLM)D008037 | |
| 650 | 6 | |a Traitement automatique des langues naturelles. |0 (CaQQLa)201-0181184 | |
| 650 | 6 | |a Logique symbolique et math�ematique. |0 (CaQQLa)201-0001166 | |
| 650 | 6 | |a S�emantique. |0 (CaQQLa)201-0096874 | |
| 650 | 6 | |a Linguistique. |0 (CaQQLa)201-0009935 | |
| 650 | 7 | |a semantics. |2 aat |0 (CStmoGRI)aat300054268 | |
| 650 | 7 | |a linguistics. |2 aat |0 (CStmoGRI)aat300054245 | |
| 650 | 7 | |a LANGUAGE ARTS & DISCIPLINES |x General. |2 bisacsh | |
| 650 | 7 | |a Linguistics |2 fast |0 (OCoLC)fst00999202 | |
| 650 | 7 | |a Logic, Symbolic and mathematical |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Natural language processing (Computer science) |2 fast |0 (OCoLC)fst01034365 | |
| 650 | 7 | |a Semantics |2 fast |0 (OCoLC)fst01112079 | |
| 650 | 7 | |a Sprachlogik |2 gnd |0 (DE-588)4182527-5 | |
| 650 | 7 | |a Nat�urliche Sprache |2 gnd |0 (DE-588)4041354-8 | |
| 650 | 1 | 7 | |a Mathematische lingu�istiek. |2 gtt |
| 650 | 1 | 7 | |a Natuurlijke-taalverwerking. |2 gtt |
| 650 | 1 | 7 | |a Symbolische logica. |2 gtt |
| 650 | 1 | 7 | |a Wiskundige logica. |2 gtt |
| 650 | 1 | 7 | |a Semantiek. |2 gtt |
| 650 | 7 | |a Linguistica computacional. |2 larpcal | |
| 650 | 7 | |a Logique symbolique et math�ematique. |2 ram | |
| 650 | 7 | |a S�emantique. |2 ram | |
| 650 | 7 | |a Langage naturel, Traitement du (informatique) |2 ram | |
| 650 | 7 | |a Langage et logique. |2 ram | |
| 650 | 7 | |a Linguistique. |2 ram | |
| 700 | 1 | |a Benthem, Johan van, |d 1949- | |
| 700 | 1 | |a Meulen, Alice G. B. ter. | |
| 776 | 0 | 8 | |i Print version: |t Handbook of logic and language. |d Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, 1997 |z 044481714X |z 9780444817143 |w (DLC) 96027559 |w (OCoLC)35183911 |
| 856 | 4 | 0 | |u https://sciencedirect.uam.elogim.com/science/book/9780444817143 |z Texto completo |