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 the language of predicate logic, where a signature amounts to a collection of constant, relation, and function symbols.