语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来......

美国逻辑学家坎普(H.Kamp)等人在20世纪80年代初提出了DRT(Discourse Representation Theory[1]).作为一种动态语义学理论,它不仅......

近年来,形式语义学的发展颇具生机,已成为语义研究中最重要的理论学派之一.本文讨论形式语义学,重点介绍了"蒙太格语法"(Montague ......