HOME > Detail View

Detail View

Handbook of logic and language

Handbook of logic and language (Loan 4 times)

Material type
단행본
Personal Author
Benthem, J. F. A. K. van, 1949-. Meulen, Alice G. B. ter.
Title Statement
Handbook of logic and language / edited by Johan van Benthem, Alice ter Meulen.
Publication, Distribution, etc
Amsterdam ;   New York :   Elsevier ;   Cambridge, Mass. :   MIT Press,   1996.  
Physical Medium
xxiii, 1247 p. : ill. ; 25 cm.
ISBN
044481714X (Elsevier) 0262220539 (MIT Press)
Bibliography, Etc. Note
Includes bibliographical references and indexes.
Subject Added Entry-Topical Term
Natural language processing (Computer science). Logic, Symbolic and mathematical. Semantics. Linquistics.
000 01071camuu2200301 a 4500
001 000000923741
005 20120828134424
008 960725s1996 ne a b 001 0 eng
010 ▼a 96027559
020 ▼a 044481714X (Elsevier)
020 ▼a 0262220539 (MIT Press)
040 ▼a DLC ▼c DLC ▼d 244002 ▼d 211009
049 0 ▼l 151045928
050 0 0 ▼a QA76.9.N38 ▼b H36 1996
082 0 0 ▼a 401/.5113 ▼2 22
084 ▼a 401.5113 ▼2 DDCK
090 ▼a 401.5113 ▼b H236
245 0 0 ▼a Handbook of logic and language / ▼c edited by Johan van Benthem, Alice ter Meulen.
260 ▼a Amsterdam ; ▼a New York : ▼b Elsevier ; ▼a Cambridge, Mass. : ▼b MIT Press, ▼c 1996.
300 ▼a xxiii, 1247 p. : ▼b ill. ; ▼c 25 cm.
504 ▼a Includes bibliographical references and indexes.
650 0 ▼a Natural language processing (Computer science).
650 0 ▼a Logic, Symbolic and mathematical.
650 0 ▼a Semantics.
650 0 ▼a Linquistics.
700 1 ▼a Benthem, J. F. A. K. van, ▼d 1949-.
700 1 ▼a Meulen, Alice G. B. ter.

No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Stacks 2(Large Size)/ Call Number 401.5113 H236 Accession No. 111222830 Availability Available Due Date Make a Reservation Service M
No. 2 Location Sejong Academic Information Center/Humanities 1/ Call Number 401.5113 H236 Accession No. 151045928 Availability Available Due Date Make a Reservation Service
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Main Library/Stacks 2(Large Size)/ Call Number 401.5113 H236 Accession No. 111222830 Availability Available Due Date Make a Reservation Service M
No. Location Call Number Accession No. Availability Due Date Make a Reservation Service
No. 1 Location Sejong Academic Information Center/Humanities 1/ Call Number 401.5113 H236 Accession No. 151045928 Availability Available Due Date Make a Reservation Service

Contents information

Table of Contents


CONTENTS

Preface = ⅴ

List of Contributors = xiii

Abbreviations of Journal Titles = xxi

Part 1. Frameworks = 1

 Introduction = 3

 1. Montague Grammar / B.H. Partee ; H.L.W. Hendriks ; T. Janssen Commentator = 5

 2. Categorial type logics / M. Moortgat ; G. Morrill Commentator = 93

 3. Representing discourse in context / J. van Eijck ; H. Kamp ; C.F.M. Vermeulen Commentator = 179

 4. Situation theory / J. Seligman ; LS Moss = 239

 5. GB theory : An introduction / J. Higginbotham ; E. Stabler Commentators ; M. Kracht Commentators = 311

 6. Game-theoretical semantics / J. Hintikka ; G Sandu ; W. Hodges Commentator = 361

Part 2. General Topics = 411

 Introduction = 413

 7. Compositionality / Barbara H. Partee with an appendix ; T.M.V Janssen ; T. Zimmermann Commentators ; E Goguen Commentators = 417

 8. Feature logics / W.C. Rounds ; P Blackburn Commentator = 475

 9. Types / R. Turner ; S. Feferman Commentator = 535

 10. Dynamics / R. Muskens ; J. van Benthem ; A Visser ; D. Mc Carty Commentator = 587

 11. Partiality / J.E. Fenstad ; L. Humberstone Commentator = 649

 12. Mathematical linguistics and proof theory / W. Buszkowski = 683

 13. Formal learning theory / D. Osherson ; D. de Jongh ; E. Martin ; S. Weinstein = 737

 14. Nonmonotonicity in linguistics / R.H. Thomason = 777

Part 3. Descriptive Topics = 833

 Introduction = 835

 15. Generalized quantifiers in linguistics and logic / E.L. Keenan ; D. Westerst$$\mathop a\limits^\circ $$hl ; J. van der Does Commentator = 837

 16. Temporality / M. Steedman ; A ter Meulen Commentator = 895

 17. Presupposition / D.L. Beaver = 939

 18. Plurals and collectivity / J.T. LΦnning ; G. Link Commentator = 1009

 19. Questions / J. Groenendijk ; M. Stokhof ; J Ginzburg Commentator = 1055

 20. Generics and defaults / F.J. Pelletier ; N. Asher = 1125

Glossary = 1179

Author Index = 1215

Subject Index = 1227



New Arrivals Books in Related Fields