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$.

The most ubiquitous use of this concept is found in predicate calculus, where a signature amounts to a collection of constant, relation, and function symbols.