Signature Size

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The number of distinct nonlogical symbols in a language's signature, typically counting function symbols, predicate symbols and constant symbols (often treating a symbol together with its arity as a distinct entry depending on convention).