2008 | OriginalPaper | Buchkapitel
Institutions with Proofs
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
The already familiar semantic consequence relation
E
⊨
E
′ between sets of sentences constitutes the semantic way to establish truth because it involves the models and the satisfaction relation between models and sentences. The syntactic approach to truth consists of establishing consequence relations, called
proofs
, between sets of sentences involving only syntactic entities. Therefore this approach is beyond models and satisfaction relation between models and sentences. The syntactic approach to truth, called ‘proof theory’, is in many ways complementary to model theory. However the relationship between model theory and proof theory is crucial for any logical system. For example the correctness of a proof theory can be established only in the presence of a model theory.