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
