Aláírás (matematikai logika)

Az oldal jelenlegi verzióját még nem ellenőrizték tapasztalt hozzászólók, és jelentősen eltérhet a 2013. június 10-én felülvizsgált verziótól ; az ellenőrzések 3 szerkesztést igényelnek .

Az aláírás a matematikai logikában és az univerzális algebrában egy adott rendszerre jellemző és annak formális nyelvét meghatározó szimbólumok halmaza . Formálisan az aláírás olyan halmazok halmazát jelenti, amelyekben: $\Sigma =(R,F,C,\rho )$

$R$ - szimbólumkészlet a kapcsolatokhoz (predikátumok),
$F$ - funkcionális szimbólumok készlete,
$C$ — állandó szimbólumok halmaza
Egy függvény , amely megfelel az elemeknek és azok arányának . $\rho$ $R$ $F$

Az aláírás egy algebrai rendszert ( algebrát vagy modellt ) jellemez azáltal, hogy meghatározza, hogy kifejezései milyen szimbólumokból állhatnak, és hogyan szerkeszthetők meg.