Signatur (matematisk logik)
Den aktuelle version af siden er endnu ikke blevet gennemgået af erfarne bidragydere og kan afvige væsentligt fra den version , der blev gennemgået den 10. juni 2013; checks kræver 3 redigeringer .En signatur i matematisk logik og universel algebra er et sæt symboler, der er specifikke for et bestemt system og definerer dets formelle sprog . Formelt set er en signatur et sæt sæt, hvor:
- - et sæt symboler for relationer (prædikater),
- - sæt af funktionelle symboler,
- — sæt af konstante symboler
- En funktion , der matcher elementer og deres aritet .
En signatur karakteriserer et algebraisk system ( algebra eller model ) ved at definere, hvilke symboler dets udtryk kan bestå af, og hvordan de kan konstrueres.