Expressivitätsobergrenze

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Eine obere Grenze für die Klasse von Eigenschaften oder Strukturen, die eine logische Sprache oder ein Fragment in einem gegebenen syntaktischen oder semantischen Rahmen definieren oder unterscheiden kann; die maximale expressive Reichweite ohne Änderung des formalen Apparats.