Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik

Archive for Mathematical Logic 17 (1-2):55-60 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02280815

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.Horst Luckhardt - 1970 - Archive for Mathematical Logic 13 (1-2):55-59.
Eine Grenze Für die Beweisbarkeit der Transfiniten Induktion in der Verzweigten Typenlogik.Kurt Schütte - 1964 - Archive for Mathematical Logic 7 (1-2):45-60.
Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik.Franz Kutschera - 1968 - Archive for Mathematical Logic 11 (1-2):3-16.
Wilfried Buchholz. An intuitionistic fixed point theory. Archive for mathematical logic, vol. 37 no. 1 , pp. 21–27. [REVIEW]Erik Palmgren - 2001 - Bulletin of Symbolic Logic 7 (3):391-392.
Grigori Mints, Sergei Tupailo, and Wilfried Buchholz. Epsilon substitution method for elementary analysis. Archive for mathematical logic, vol. 35 , pp. 103–130. [REVIEW]Ulrich Kohlenbach - 2000 - Bulletin of Symbolic Logic 6 (3):356-357.
Die Vollständigkeit der Verzweigten Typenlogik mit Unendlicher Terminduktion.M. H. Löb - 1968 - Archive for Mathematical Logic 11 (1-2):68-72.
Ein starker Normalisationssatz für die bar-rekursiven Funktionale.Helmut Vogel - 1977 - Archive for Mathematical Logic 18 (1):81-84.
Schnittelimination in einem Teilsystem der einfachen Typenlogik.Wolfgang Bibel - 1969 - Archive for Mathematical Logic 12 (3-4):159-178.
Ein Neuer Beweis für die Entscheidbarkeit des Einstelligen Prädikatenkalküls mit Identität.Ronald Björn Jensen - 1965 - Archive for Mathematical Logic 7 (3-4):128-138.
Ein Vollständigkeitsbeweis Für Die Aussagenlogischen ModalitätensystemeM, S 4,Br UndS 5.J. Czermak - 1975 - Archive for Mathematical Logic 17 (1-2):45-49.

Analytics

Added to PP
2020-12-03

Downloads
6 (#1,701,486)

6 months
3 (#1,486,845)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Forcing in proof theory.Jeremy Avigad - 2004 - Bulletin of Symbolic Logic 10 (3):305-333.

Add more citations

References found in this work

No references found.

Add more references