Skip to main content
SpringerLink
Log in

Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik

  • Published:
Archiv für mathematische Logik und Grundlagenforschung Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Literatur

  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. Martin-Löf, P.: Hauptsatz for the theory of species, wie in [1], 217–233.

    Google Scholar 

  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. Osswald, H.: Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik. manuscripta math.6, 17–31 (1972).

    Google Scholar 

  5. Prawitz, D.: Hauptsatz for higher order logic.Journal of symbolic logic 33, 452–457 (1968).

    Google Scholar 

  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 

Download references

Authors
  1. Wilfried Buchholz
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Buchholz, W. Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik. Arch math Logik 17, 55–60 (1975). https://doi.org/10.1007/BF02280815

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02280815

Search

Navigation