1[1]Thomason，R(ed)．FormaI philosophy——Selected Papers of Richard Montague[M]．Yale University Press,1974．
2[2]Barwise, Jon and John Perry. Situations and Attitudes[M]. MIT Press, 1983.5.
3[4]Buszkowski, W etc. Catcgoral Grammar[M]. J. B.Publishing Company, 1988. 173-195.
4[5]Saintdizier, P etc. Logic and Logic Grammar forLanguage Processing[M]. Ellis Horwood, 1990. 11.
5[6]Rosner, M etc. Computational Linguistics and Formal Semantics[M]. Cambridge University Press, 1992.
6[7]Gabbay, Dov and Ruth M Kempson. Natural Language Content; A Proof-Theoretic Perspective——A Preliminary Report[J].Proceedings of the 8th Amsterdam Colloquium. Institute forLogic, Language and Computation. University of Amsterdam,1992. 173-195.
7[8]Kamp, Hans and Uwe Reyle. From Discourse to Logic.Introduction to Model theoretic Semantics of Natural Language[A]. Formal Logic and Discourse Representation Theory.Kluwer, 1993.
8[9]Carpenter, Bob. Lectures on Type-Logical Semantics[M].MIT Press, 1995.
9[10]van Benthem, Johan and Alice ter Meulen(eds).Handbook of Logic and Language[M]. Elsevier Science, 1997.
