The presence of two above problems impacts not only the understanding for theory of Tarski's truth-conditional semantics but also the evaluation for the theory.
The present paper involves the FFP-ATS semantics of value evaluation of ML core language.
本文涉及ML核心语言的“值”的计算这一部分的FFP - ATS语义学。
3
At present, the widely influential one is interpersonal function in Halliday's systemic-functional grammar, but his theory neglects the research on semantics of evaluation.