2008 | OriginalPaper | Buchkapitel
Introduction
Erschienen in: Institution-independent Model Theory
Verlag: Birkhäuser Basel
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Model theory is in essence the mathematical study of semantics, or meaning, of logic systems. As it has a multitude of applications to various areas of classical mathematics, and of logic, but also to many areas of informatics and computing science, there are various perspectives on model theory which differ slightly. A rather classical viewpoint is formulated in [32]: Model theory = logic + universal algebra.