Signatur

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Die Menge der nicht-logischen Symbole (Prädikate, Funktionen und Konstanten) zusammen mit etwaigen Sorten, die die Signatur einer formalen Sprache definiert.