Advertisement

Mathematische Annalen

, Volume 145, Issue 4, pp 297–333 | Cite as

Untersuchungen zur mehrsortigen Quantorenlogik

  • Arnold Oberschelp
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Church, A.: Introduction to Mathematical Logic I. Princeton N. J.: Princeton University Press 1956.Google Scholar
  2. [2]
    Gilmore, P. C.: An addition to “logic of many-sorted theorie” Compositio Math.13, 277–281 (1958).Google Scholar
  3. [3]
    Henkin, L.: The completeness of the first-order functional calculus. J. Symb. Logic14, 159–166 (1949).Google Scholar
  4. [4]
    Montague, R., andL. Henkin: On the definition of formal deduction. J. Symb. Logic21, 129–136 (1956).Google Scholar
  5. [5]
    Schmidt, A.: Über deduktive Theorien mit mehreren Sorten von Grunddingen. Math. Ann.115, 485–506 (1938).Google Scholar
  6. [6]
    Schmidt, A.: Die Zulässigkeit der Behandlung mehrsortiger Theorien mittels der üblichen einsortigen Prädikatenlogik. Math. Ann.123, 187–200 (1951).Google Scholar
  7. [7]
    Wang, H.: Logic of many-sorted theories. J. Symb. Logic17, 105–116 (1952).Google Scholar

Copyright information

© Springer-Verlag 1962

Authors and Affiliations

  • Arnold Oberschelp
    • 1
  1. 1.Hannover

Personalised recommendations