東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Handbook of logic and language

Benthem, J. F. A. K. van, (1949-)

Linked to FindBook

Google Book

Amazon

博客來

Handbook of logic and language

Record Type:	Electronic resources : Monograph/item
Title/Author:	Handbook of logic and language/ edited by Johan van Benthem, Alice ter Meulen.{me_controlnum}
remainder title:	Handbook of logic & language
other author:	Benthem, J. F. A. K. van,
Published:	Amsterdam ;Elsevier ; : 1997.,
Description:	1 online resource (xxiii, 1247 p.) :ill.
[NT 15003449]:	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 ... [et al.] -- 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.
Subject:	Natural language processing (Computer science) -
Online resource:	http://www.sciencedirect.com/science/book/9780444817143
ISBN:	9780444817143

Handbook of logic and language
Handbook of logic and language[electronic resource] /Handbook of logic & languageedited by Johan van Benthem, Alice ter Meulen.{me_controlnum} - Amsterdam ;Elsevier ;1997. - 1 online resource (xxiii, 1247 p.) :ill.

Includes bibliographical references and indexes.

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 ... [et al.] -- 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.

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.

ISBN: 9780444817143

Source: 122352:126580Elsevier Science & Technologyhttp://www.sciencedirect.comSubjects--Topical Terms:

565309
Natural language processing (Computer science)
Index Terms--Genre/Form:

542853
Electronic books.

LC Class. No.: QA76.9.N38 / H36 1997eb

Dewey Class. No.: 401/.5113

Handbook of logic and language
LDR:03842cmm 2200337Ia 4500 001 1151199
003 OCoLC
005 20111122090955.0
006 m d
007 cr cn|||||||||
008 120605s1997 ne a ob 001 0 eng d
020 $a 9780444817143
020 $a 044481714X
029 1 $a NZ1 $b 12432884
035 $a (OCoLC)162130770
035 $a ocn162130770
037 $a 122352:126580 $b Elsevier Science & Technology $n http://www.sciencedirect.com
040 $a OPELS $b eng $c OPELS $d OCLCG $d OCLCQ
049 $a TEFA
050 4 $a QA76.9.N38 $b H36 1997eb
082 0 4 $a 401/.5113 $2 22
245 0 0 $a Handbook of logic and language $h [electronic resource] / $c edited by Johan van Benthem, Alice ter Meulen.{me_controlnum}
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 p.) : $b ill.
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 ... [et al.] -- 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.
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.
588 $a Description based on print version record.
650 0 $a Natural language processing (Computer science) $3 565309
650 0 $a Logic, Symbolic and mathematical. $3 532051
650 0 $a Semantics. $3 520060
650 0 $a Linguistics. $3 524476
650 6 $a Traitement automatique des langues naturelles. $3 761662
650 6 $a Logique symbolique et math�ematique. $3 1457452
650 6 $a S�emantique. $3 1457453
650 6 $a Linguistique. $3 788006
650 1 7 $a Mathematische lingu�istiek. $2 gtt $3 1457454
650 1 7 $a Natuurlijke-taalverwerking. $2 gtt $3 1457455
650 1 7 $a Symbolische logica. $2 gtt $3 1457456
650 1 7 $a Wiskundige logica. $2 gtt $3 926271
650 1 7 $a Semantiek. $2 gtt $3 886605
650 7 $a Linguistica computacional. $2 larpcal $3 1457457
655 4 $a Electronic books. $2 lcsh $3 542853
700 1 $a Benthem, J. F. A. K. van, $d 1949- $3 701603
700 1 $a Meulen, Alice G. B. ter. $3 924394
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 $3 ScienceDirect $u http://www.sciencedirect.com/science/book/9780444817143
994 $a C0 $b TEF