Signatur (matematisk logik)
Den aktuella versionen av sidan har ännu inte granskats av erfarna bidragsgivare och kan skilja sig väsentligt från versionen som granskades den 10 juni 2013; kontroller kräver 3 redigeringar .En signatur i matematisk logik och universell algebra är en uppsättning symboler som är specifika för ett visst system och som definierar dess formella språk . Formellt är en signatur en uppsättning uppsättningar där:
- - en uppsättning symboler för relationer (predikat),
- - uppsättning funktionella symboler,
- — uppsättning konstantsymboler
- En funktion som matchar element och deras aritet .
En signatur kännetecknar ett algebraiskt system ( algebra eller modell ) genom att definiera vilka symboler dess uttryck kan bestå av och hur de kan konstrueras.