Подпись (логическая)

Сигнатура – набор символов, определяющий структуру математической структуры.
В универсальной алгебре слово “тип” или “тип подобия” часто используется как синоним слова “сигнатура”.
В теории моделей сигнатура часто называется словарем или отождествляется с языком (первого порядка).
Язык подписи – это набор всех правильно сформированных предложений, построенных из символов в этой подписи вместе с символами в логической системе.
В контексте логики первого порядка символы в сигнатуре также известны как нелогичные символы.
Для многосортированной логики и многосортированных структур подписи должны кодировать информацию о сортировках.

Полный текст статьи:

Подпись (логика) — Википедия