Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik

  • Horst Luckhardt
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica12 (1958), 280–287.Google Scholar
  2. [2]
    Henkin, L.: The completeness of the first-order functional calculus. Journ. symb. logic14 (1949), 159–166.Google Scholar
  3. [3]
    Schütte, K.: Vollständige Systeme modaler und intuitionistischer Logik. Springer 1968.Google Scholar
  4. [4]
    Schütte, K.: Zur Semantik der intuitionistischen Aussagenlogik. Abstract. Journ. symb. logic32 (1967), 566.Google Scholar

Copyright information

© Verlag W. Kohlhammer 1970

Authors and Affiliations

  • Horst Luckhardt
    • 1
  1. 1.Marburg/Lahn

Personalised recommendations