Formal Semantics

Home > Languages > Artificial Language > Semantics > Formal Semantics

It seeks to provide mathematically precise definitions of the meaning of language expressions. This type of semantics often uses logic and algebraic tools to represent language expressions and their meanings.