Modelltheoretische Interpretation

Humanities & Arts Dictionary
Definition
Die Zuordnung semantischer Werte, Elemente einer Domäne und struktureller Relationen zu den Symbolen einer formalen Sprache oder eines Modells, die Wahrheitsbedingungen oder Erfüllbarkeitsrelationen gegenüber einer spezifizierten Struktur festlegt und damit das formale System mit einer Ziel‑Domäne oder Klasse von Strukturen verbindet.