id: 06606427
dt: j
an: 2016e.00968
au: Haralambous, Yannis
ti: The mathematics of language. Montague’s formal approach. (Les
mathématiques de la langue. L’approche formelle de Montague.)
so: Quadrature 98, 9-19 (2015).
py: 2015
pu: Quadrature, Revigny-sur-Ornain
la: FR
cc: M90
ut: language; formal semantics; grammars; logic; lambda-calculus
ci:
li:
ab: 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.
rv: