\input zb-basic
\input zb-matheduc
\iteman{ZMATH 2016e.00968}
\itemau{Haralambous, Yannis}
\itemti{The mathematics of language. Montague's formal approach. (Les math\'ematiques de la langue. L'approche formelle de Montague.)}
\itemso{Quadrature 98, 9-19 (2015).}
\itemab
Summary: We present a natural language modeling method which is strongly relying on mathematics. This method, called formal semantics, has been initated by the American linguist Richard M. Montague in the seventies. It uses mathematical tools such as formal languages and formal grammars, first-order logic and lambda-calculus. It is our goal to present to the reader both Montague's formal semantics and the inherent mathematical tools.
\itemrv{~}
\itemcc{M90}
\itemut{language; formal semantics; grammars; logic; lambda-calculus}
\itemli{}
\end