Montague and categorial grammar
Table of contents
Montague grammar (MG) designates a field of formal linguistics which is based on the works of the logician and philosopher Richard Montague from the early 1970s. MG takes up the tradition of mathematical linguistics established by Chomsky and others in referring to both natural and artificial languages as objects to be described with the help of mathematical methods. MG, however, goes beyond these traditional approaches by formalizing even the semantic and pragmatic aspects of these languages as rigorously as had been the case before only with syntax.
References
Ajdukiewicz, K.
Bar-Hillel, Y., C. Gaifman & E. Shamir
Cresswell, M.J.
Jacobs, J., A. Von Stechow, W. Sternefeld & T. Venneman
Kripke, S.
Montague, R.
Steedman, M.