蒙塔格语法

蒙塔格语法蒙塔格语法是一种自然语言语义学的方法，特别是高阶谓词逻辑和λ微积分，并通过克里普克模型，利用了扩展逻辑的概念。Montague在20世纪60年代和70年...