Welcome guest
You're not logged in.
366 users online, thereof 0 logged in

Definition: Semantics of a Formal Language

The semantics of a formal language $L$ inside a domain of discourse consists of its interpretation function $I(U,L),$ together with the corresponding valuation $[[]]_I$.

| | | | | created: 2018-02-06 22:36:56 | modified: 2020-05-04 19:41:26 | by: bookofproofs