Literatur
Gödel, K.: Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes. Dialectica12 (1958), 280–287.
Henkin, L.: The completeness of the first-order functional calculus. Journ. symb. logic14 (1949), 159–166.
Schütte, K.: Vollständige Systeme modaler und intuitionistischer Logik. Springer 1968.
Schütte, K.: Zur Semantik der intuitionistischen Aussagenlogik. Abstract. Journ. symb. logic32 (1967), 566.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Luckhardt, H. Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik. Arch math Logik 13, 55–59 (1970). https://doi.org/10.1007/BF01967651
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01967651