Vocabulary

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
The set of nonlogical symbols (predicate, function, and constant symbols) together with any specified sorts that defines the signature of a formal language.