Concept
Signature (logic)
Overview
In mathematical logic, a signature is a description of the non-logical symbols of a formal language. In universal algebra, a signature lists the operations that characterize an algebraic structure. In model theory, signatures are used for both purposes. They are rarely made explicit in more philosophical treatments of logic.
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- Formal language
- First-order logic
- Finite set
- Propositional logic
- Mathematical logic
- Model theory
- Set (mathematics)
- Predicate (logic)
- Structure (mathematical logic)
- Arity
- Cardinality
- Non-logical symbol
Place in the tradition
Part of First-order logic.