Bermerkungen zu Henkins Beweis für die Nichtstandard-Vollständigkeit der Typentheorie

Notre Dame Journal of Formal Logic 13 (4):561-562 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1093890722

Other Versions

No versions found

Links

PhilArchive



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

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 Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (2):268-268.
Eine bemerkung zu Henkin's beweis für die vollständigkeit Des prädikatenkalküls der ersten stufe.G. Hasenjaeger - 1953 - Journal of Symbolic Logic 18 (1):42-48.
G. Hasenjaeger. Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe. The journal of symbolic logic, vol. 18 , pp. 42–48. [REVIEW]Alonzo Church - 1966 - Journal of Symbolic Logic 31 (2):268-268.
Ein Henkin-Beweis für die Vollständigkeit eines Kalküls relativ zur Grzegorczyk-Semantik.Dieter Klemke - 1971 - Archive for Mathematical Logic 14 (3-4):148-161.
Ein nichtkonstruktiver Beweis des ersten $\varepsilon$-theorems.Wilhelm K. Essler - 1970 - Notre Dame Journal of Formal Logic 11 (3):369-371.
Die Theorie der Umgangssprache als interpretierter Kompositkalkül.D. L. Székely - 1960 - Notre Dame Journal of Formal Logic 1 (4):150-170.
Ein neuer beweis für die vollständigkeit eines vielwertigen systems Des aussagenkalküls.G. Bryll - 1966 - Studia Logica 19 (1):115-115.
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.
Zur Frage der Existenzvoraussetzungen in der Logik.I. Dapunt - 1970 - Notre Dame Journal of Formal Logic 11 (1):89-96.
Sind die deontischen Funktoren distributiv?Bohuslav T. Peklo - 1974 - Notre Dame Journal of Formal Logic 15 (2):301-311.

Analytics

Added to PP
2010-08-24

Downloads
18 (#1,113,532)

6 months
7 (#710,381)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references