Thiele Helmut. Eine Axiomatisierung der zweiwertigen Prädikatenkalküle der ersten Stufe, welche die Implikation enthalten. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 93–106.Thiele Helmut. Theorie der endlichwertigen Łukasiewiczschen Prädikatenkalküle der ersten Stufe. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 , pp. 108–142 [Book Review]

Journal of Symbolic Logic 32 (2):260-261 (1967)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2271681

Links

PhilArchive



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

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

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.
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 semantische Charakterisierung der deduktiv abgeschlossenen Mengen des Prädikatenkalküls der ersten Stufe.Günter Asser - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):3-28.
Vollständigkeit im Stufenkalkül.Helmut Thiele - 1957 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3 (13-20):211-224.
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.
Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikatenkalküle.Karl Schröter - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):241-251.
Über Mengen von Ausdrücken der Logik Höherer Stufe, für die der Endlichkeitssatz und der Satz von Löwenheim‐Skolem Gelten.Helmut Wolter - 1972 - Mathematical Logic Quarterly 18 (1-3):13-18.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1-3):37-48.
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.
Systematische Behandlung der lösbaren Fälle des Entscheidungsproblems für den Prädikatenkalkül der ersten Stufe.Dieter Klaua - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (4):264-270.
Untersuchungen zu Schwachen Logiken der Zweiten Stufe.Eberhard Herrmann & Helmut Wolter - 1980 - Mathematical Logic Quarterly 26 (1-6):59-68.
Ein Direkter Beweis für die Allgemein‐Rekursive Unlösbarkeit des Entscheidungsproblems des Prädikatenkalküls der Ersten Stufe mit Identität.László Kalmár - 1956 - Mathematical Logic Quarterly 2 (1-4):1-14.
Über die Ausdrucksfähigkeit des Prädikatenkalküls der ersten Stufe mit Funktionalen. Dem Andenken an Heinrich Scholz gewidmet.Günter Asser - 1956 - Mathematical Logic Quarterly 2 (16-17):250-264.
Schröter Karl. Über den Zusammenhang der Implikationsaxiomen vollständiger Axiomensysteme des zweiwertigen mit denen des intuitionistischen Aussagenkalküls. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 2 , pp. 173–176.Schröter Karl. Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 , pp. 18–29. [REVIEW]Gene F. Rose - 1970 - Journal of Symbolic Logic 35 (4):583-583.

Analytics

Added to PP
2013-11-03

Downloads
12 (#1,062,297)

6 months
2 (#1,240,909)

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