Advertisement

Institutions with Proofs

Part of the Studies in Universal Logic book series (SUL)

Abstract

The already familiar semantic consequence relation EE′ 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.

Keywords

Proof System Proof Theory Partial Algebra Proof Rule Substitutivity Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Birkhäuser Verlag AG 2008

Personalised recommendations