论述类型—逻辑语法的句法特*———兰贝克演算。
高级语言通常分为面向过程语言、函数式语言、面向对象语言或逻辑语言。
隐含是指意思里有而话语里不出现的语义现象。它与逻辑语义范畴的蕴含、隐涵不同。
摹状词理论强调的是一阶逻辑语言的句法，日常语言的句法是它批判的对象。
它的产生主要得力于其对立统一的逻辑语义基础和连用对举的语言表达基础。
由于英语定语从句在不同的语境中可表达不同的概念，起着不同的功用，译者常须根据句间句群间的逻辑语义关系与汉语规范重构汉语译文。
本文给出了原子命题的详细而又符合客观实际的制约逻辑语义学解释。
它使用占位符变量和简单的逻辑语句定义应该在模板中填充的数据。
我们的研究扩展了投*的研究范围：从小句复合体中一种逻辑语义关系发展到表达人际意义，并把它与人际意义中的情态结合起来。
