Zur konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle

Archive for Mathematical Logic 15 (3-4):103-117 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02008528

Other Versions

No versions found

Links

PhilArchive



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

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

Zur Konstruktiven Differenzierbarkeit von Monotonen Berechenbaren Funktionen.Hanke Bremer & Conrad H. H. Reynvaan - 1975 - Archive for Mathematical Logic 17 (3-4):135-143.
Die Vollständigkeit der Verzweigten Typenlogik mit Unendlicher Terminduktion.M. H. Löb - 1968 - Archive for Mathematical Logic 11 (1-2):68-72.
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.
Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik.Gerhard Gentzen - 1974 - Archive for Mathematical Logic 16 (3-4):119-132.
Überfür-fast-alle-Quantoren.Heinz-Dieter Ebbinghaus - 1969 - Archive for Mathematical Logic 12 (3-4):179-193.
Die Vollständigkeit einer unverzweigten Variante des „analytischen“ Entscheidungsverfahrens der klassischen Logik.P. Lorenzen - 1977 - Archive for Mathematical Logic 18 (1):19-22.
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.
Entscheidbarkeit und Vollständigkeit der Elementaren Hyperbolischen Geometrie.Wolfram Schwabhäser - 1959 - Mathematical Logic Quarterly 5 (7‐13):132-205.
Entscheidbarkeit der Arithmetik mit Addition und Ordnung in Logiken mit verallgemeinerten Quantoren.Helmut Wolter - 1975 - Mathematical Logic Quarterly 21 (1):321-330.
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.

Analytics

Added to PP
2020-12-03

Downloads
6 (#1,699,245)

6 months
4 (#1,263,115)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Jaakko Hintikka 1929–2015.Jouko Väänänen - 2015 - Bulletin of Symbolic Logic 21 (4):431-436.

Add more citations

References found in this work

No references found.

Add more references