Advertisement

More on Gentzen Systems

  • Raymond M. Smullyan
Part of the Ergebnisse der Mathematik und ihrer Grenzgebiete book series (MATHE2, volume 43)

Abstract

In § 1 of this chapter, we discuss Gentzen’s Extended Hauptsatz. In § 2 we establish anew form of this extension which does not appeal to prenex normal form. In § 3 we consider some variants of Gentzen systems which will play a key role in all 3 subsequent chapters.

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

  • Raymond M. Smullyan
    • 1
  1. 1.Lehman CollegeCity University of New YorkUSA

Personalised recommendations