Сигнатура (математична логіка)

Сигнатура в математичній логіці та універсальній алгебрі — набір символів, специфічних для конкретної системи, що визначають її формальну мову. Формально, сигнатура $\mathrm{\Sigma }=(R,F,C,\rho )$ — набір множин:

• $R$ — множина символів для відношень (предикатів),
• $F$ — множина функціональних символів,
• $C$ — множина символів констант
• і функція $\rho$, що зіставляє елементам $R$ і $F$ їх арність.

Сигнатура характеризує алгебричну структуру (алгебру або модель), визначаючи, з яких символів можуть складатися її вирази і яким чином вони можуть бути сконструйовані.

Джерела

• Шаблон:Кон.Универсальная алгебра