Realisierbarkeit

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eine Semantik, die logische Formeln durch Mengen konstruktiver Zeugen oder rechnerischer Objekte (Realizer) interpretiert, die zeigen, wie eine Formel vorgeführt oder berechnet werden kann, und damit Syntax und Ausführbarkeit verbindet.