Definition:Signature (Logic)

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

A choice of vocabulary for $\mathcal L$ is called a signature for $\mathcal L$.

Signature of Predicate Logic

Also see

 * Definition:Vocabulary