Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik

  • Wilfried Buchholz
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. [1]
    Girard, J.Y.: Une extension de l'interpretation de Gödel a l'analyse, et son application a l'elimination des coupures dans l'analyse et la theorie des types, Proceedings of the second Scandinavian logic symposium, North Holland, Amsterdam, 63–92 (1971).Google Scholar
  2. [2]
    Martin-Löf, P.: Hauptsatz for the theory of species, wie in [1], 217–233.Google Scholar
  3. [3]
    Osswald, H.: Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik. manuscripta math.8, 243–249 (1973).Google Scholar
  4. [4]
    Osswald, H.: Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik. manuscripta math.6, 17–31 (1972).Google Scholar
  5. [5]
    Prawitz, D.: Hauptsatz for higher order logic.Journal of symbolic logic 33, 452–457 (1968).Google Scholar
  6. [6]
    Takahashi, M.: Cut-elimination theorem and Brouwerian-valued models for the intuitionistic type theory. Comment. math. universitatis Sancti Pauli, Tokyo, 1–18 (1971).Google Scholar

Copyright information

© Verlag W. Kohlhammer 1975

Authors and Affiliations

  • Wilfried Buchholz

There are no affiliations available

Personalised recommendations