Die Vollständigkeit der die Implikation enthaltenden zweiwertigen Aussagenkalküle und Prädikatenkalküle der ersten Stufe

Mathematical Logic Quarterly 3 (6-10):81-107 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19570030603

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

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

Die Vollständigkeit der die Implikation enthaltenden zweiwertigen Aussagenkalküle und Prädikatenkalküle der ersten Stufe.Karl Schröter - 1957 - Mathematical Logic Quarterly 3 (6‐10):81-107.
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5‐7):93-106.
Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten.Helmut Thiele - 1956 - Mathematical Logic Quarterly 2 (5-7):93-106.
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.
Über Mehrwertige Aussagenkalküle und Mehrwertige Engere Prädikatenkalküle. II-III.J. Ridder - 1950 - Journal of Symbolic Logic 14 (4):261-262.
Über Mehrwertige Aussagenkalküle und Mehrwertige Engere Prädikatenkalküle.J. Ridder - 1949 - Journal of Symbolic Logic 14 (2):139-139.
Review: J. Ridder, Uber Mehrwertige Aussagenkalkule und Mehrwertige Engere Pradikatenkalkule. [REVIEW]Boleslaw Sobociński - 1949 - Journal of Symbolic Logic 14 (2):139-139.
J. Ridder. Über mehrwertige Aussagenkalküle und mehrwertige engere Prädikatenkalküle. II–III. Koninhlijke Nederlandsche Akademie van Wetenschappen, Proceedings of the section of sciences, t. 51 , pp. 836–845 et 991–995; aussi Indagationes mathematicae, t. 10 , pp. 264–273 et 324–328. [REVIEW]Bolesław Sobociński - 1950 - Journal of Symbolic Logic 14 (4):261-262.
Über Interpretationen der Prädikatenkalküle höherer Stufe.Gisbert Hasenjaeger - 1958 - Archive for Mathematical Logic 4 (3-4):71.
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Mathematical Logic Quarterly 1 (4):252-263.
Axiomatisierung der Fregeschen Aussagenkalkule.Karl Schroter - 1944 - Journal of Symbolic Logic 9 (3):69-69.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1‐3):37-48.
Über eine art Von unvollständigkeit Des prädikaten-kalküls der ersten stufe.Gisbert Hasenjaeger - 1950 - Journal of Symbolic Logic 15 (4):273-276.
Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit Identität.Günter Asser - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):252-263.
Ein Aufbau der Mengenlehre mit transfiniten Typen, formalisiert im Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1957 - Mathematical Logic Quarterly 3 (21):303-316.

Analytics

Added to PP
2016-02-04

Downloads
22 (#705,136)

6 months
1 (#1,461,875)

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