Persistenzlogik
Persistenzlogik ist ein in der theoretischen Logik gelegentlich verwendeter Begriff, der die Untersuchung der Persistenz von Wahrheiten in logischen Systemen beschreibt. Im Kern geht es darum zu verstehen, unter welchen Transformationen von Strukturen oder Modellen eine gegebene Formel oder Theorie weiterhin gilt. Da der Begriff in der Fachliteratur nicht einheitlich definiert ist, wird er oft als Oberbegriff für verschiedene Konzepte der Wahrheitsstabilität gegenüber Modelltransformationen verwendet.
Zentrale Erscheinungsformen der Persistenz sind die Stabilität von Aussagen unter Unterstrukturen (Substrukturen) und unter Erweiterungen von
Beispiele und Anwendungsfelder: In der Datenbanktheorie und formalen Verifikation wird oft untersucht, welche Eigenschaften in einem
Historische Einordnung und Gegenwärtiges: Der Begriff Persistenzlogik wird in manchen Publikationen als Sammelbegriff für Modelltheorie-Konzepte verwendet;