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

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

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

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