Welcome guest
You're not logged in.
320 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

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)