Handbook of logic and language /
Benthem, J. F. A. K. van,1949-
Meulen, Alice G. B. ter.
Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press,
1997.
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. Westerståhl -- 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.
Natural language processing (Computer science)
Logic, Symbolic and mathematical.
Semantics.
Linguistics.