Diskussion:Stratifikation (Logik)

Ich kenne mich nicht aus mit dem Thema. Es wäre schön, wenn noch ein Gegenbeispiel einer nicht stratifizierbaren Menge angegeben werden könnte, für die auch gezeigt werden können (und auch gezeigt werden) sollte, dass keine eindeutige Interpretation für sie existiert. -- Wikiwikigreif 17:16, 25. Feb. 2009 (CET)Beantworten

Es wäre auch schön, wenn man aus dem Artikel erfahren würde, wofür Stratifikationen gut sind. (nicht signierter Beitrag von 78.54.34.128 (Diskussion) 21:31, 7. Aug. 2010 (CEST)) Beantworten

Steht doch da: Sie sind dafür gut, sicherzustellen, dass eine eindeutige formale Interpretation (ein eindeutig bestimmtes Modell) eines Logikprogramms existiert. --Maformatiker (Diskussion) 15:01, 11. Dez. 2016 (CET)Beantworten

Qualifikator Bearbeiten

Letzter Kommentar: vor 7 Jahren1 Kommentar1 Person ist an der Diskussion beteiligt

Meiner Meinung nach wäre Logik oder Logische Programmierung als Qualifikator hier passender als Mathematik. Die folgenden thematisch verwandten Artikel verwenden ebenfalls Logik als Qualifikator: Prädikat (Logik), Interpretation (Logik), Resolution (Logik), Ableitung (Logik) --Maformatiker (Diskussion) 15:28, 11. Dez. 2016 (CET)Beantworten

Abschnitt hinzufügen