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
