Formal semantics
01
形式语义学, 数学语义学
a subfield of linguistics that employs mathematical and logical tools to study the precise meaning and interpretation of language, focusing on the formal representation of meaning using formal languages, logic, and computational methods
