Beweis des Vollständigkeitssatzes für M′ und S4′

  • Kurt Schütte
Part of the Ergebnisse der Mathematik und ihrer Grenzgebiete book series (MATHE2, volume 42)

Zusammenfassung

Wir definieren Bäume von Formeln und von Formelbäumen, mit denen der semantische Vollständigkeitssatz für die Systeme M′ und S4′ in den §§ 9 und 10 auf einem weitgehend konstruktiven Wege bewiesen wird. Zur Beschreibung dieser Bäume verwenden wir als Indexbäume gewisse Mengen von endlichen Zahlenfolgen.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin · Heidelberg 1968

Authors and Affiliations

  • Kurt Schütte
    • 1
  1. 1.Mathematisches InstitutUniversität MünchenDeutschland

Personalised recommendations