数理语言学中采用内涵逻辑的方法来描述句子语义内容的一种理论。它的来源有二：一是N.乔姆斯基的生成语法，二是内涵逻辑。
数理语言学中采用内涵逻辑的方法来描述句子语义内容的一种理论。它的来源有二:一是N.乔姆斯基的生成语法,二是内涵逻辑。内涵逻辑是用于处理可能性、必然性等模态概念与时态的逻辑学，在20世纪60年代出现了模式理论之后才与
现代语言学相结合。1970年前后,美国数理逻辑学家R.孟德鸠。以及D.卡普兰、D.卡比和后来的B.H.帕蒂、R.库珀等人把内涵逻辑应用于自然语言的研究，最后由孟德鸠和M.J.克雷斯韦尔把
生成语法与内涵逻辑这两个领域的研究集中提炼为孟德鸠语法。
孟德鸠语法能够把用树形图表示的句子的深层结构转换为内涵逻辑表达式，从而揭示出句子的某些语义内容。但它还不是自然语言的句子所表示的实在意义。为了揭示出这种意义，还必须进一步研究语义理论，即内涵逻辑的模型论。这方面的研究最近已有很大进展。
孟德鸠语法的研究对于语言学理论、自然语言信息处理、
逻辑学以至于认知科学都是很有价值的。