Formal Semantics

Home > Linguistics > Computational linguistics > Computational semantics > Formal Semantics

Formal semantics deals with the representation of natural language meaning using formal logic systems. It involves the use of formal languages to model the meaning of words and sentences, and derive logical inferences from them.