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