Definition:Formal Semantics

Definition
Let $\LL$ be a formal language.

A formal semantics for $\LL$ comprises:


 * A collection of objects called structures;
 * A notion of validity of $\LL$-WFFs in these structures.

Often, a formal semantics provides these by using a lot of auxiliary definitions.

Boolean Interpretations
Let $\LL_0$ be the language of propositional logic.

Also see

 * Definition:Model (Logic)


 * Definition:Deductive Apparatus
 * Definition:Formal System


 * Definition:Proof System