Definition:Formal Semantics

Definition
Let $\mathcal L$ be a formal language.

A formal semantics for $\mathcal L$ comprises:


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

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

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

Also see

 * Definition:Model (Logic)


 * Definition:Deductive Apparatus
 * Definition:Formal System


 * Definition:Proof System