論述類型—邏輯語法的句法特*———蘭貝克演算。
高級語言通常分為面向過程語言、函數式語言、面嚮對象語言或邏輯語言。
隱含是指意思裏有而話語裏不出現的語義現象。它與邏輯語義範疇的藴含、隱涵不同。
摹狀詞理論強調的是一階邏輯語言的句法，日常語言的句法是它批判的對象。
它的產生主要得力於其對立統一的邏輯語義基礎和連用對舉的語言表達基礎。
由於英語定語從句在不同的語境中可表達不同的概念，起着不同的功用，譯者常須根據句間句羣間的邏輯語義關係與漢語規範重構漢語譯文。
本文給出了原子命題的詳細而又符合客觀實際的制約邏輯語義學解釋。
它使用佔位符變量和簡單的邏輯語句定義應該在模板中填充的數據。
我們的研究擴展了投*的研究範圍：從小句複合體中一種邏輯語義關係發展到表達人際意義，並把它與人際意義中的情態結合起來。
