Vollständigkeit im Stufenkalkül

Mathematical Logic Quarterly 3 (13‐20):211-224 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19570031303

Other Versions

reprint Thiele, Helmut (1957) "Vollständigkeit im Stufenkalkül". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 3(13-20):211-224

Links

PhilArchive



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

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

Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie.Wolfram Schwabhäser - 1959 - Mathematical Logic Quarterly 5 (7‐13):132-205.
Über die Vollständigkeit der Elementaren Euklidischen Geometrie.Wolfram Schwabhäuser - 1956 - Mathematical Logic Quarterly 2 (10‐15):137-165.
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.
Die Funktionale Vollständigkeit von Funktionenklassen über Einer Familie Endlicher Mengen.Reinhard Pöschel - 1974 - Mathematical Logic Quarterly 20 (34-36):537-550.
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.
Das Problem der Vollständigkeit für Boolesche Funktionen über zwei Dualmengen mit nichtleerem Durchschnitt I.G. N. Blochina, W. B. Kudrjavcev & G. Burosch - 1973 - Mathematical Logic Quarterly 19 (11‐12):163-180.
Das Problem der Vollständigkeit Für Boolesche Funktionen Über Zwei Dualmengen mit Nichtleerem Durchschnitt II.G. N. Blochina, W. B. Kudrjavcev & G. Burosch - 1974 - Mathematical Logic Quarterly 20 (4‐6):79-96.
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. [REVIEW]Atwell R. Turquette - 1967 - Journal of Symbolic Logic 32 (2):260-261.
Zusammenhang zwischen der Theorie F der Faktorenimplikation und der Theorie der Zylinderalgebren, Reduktion der Vollständigkeit der Axiome von F.August Plattner - 1990 - Mathematical Logic Quarterly 36 (6):561-572.

Analytics

Added to PP
2013-11-24

Downloads
13 (#1,334,820)

6 months
5 (#1,080,408)

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

A formulation of the simple theory of types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (2):56-68.
Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.
Non-standard models for formal logics.J. Barkley Rosser & Hao Wang - 1950 - Journal of Symbolic Logic 15 (2):113-129.
Some notes on nominalism.Leon Henkin - 1953 - Journal of Symbolic Logic 18 (1):19-29.

Add more references