Die Vollständigkeit einer unverzweigten Variante des „analytischen“ Entscheidungsverfahrens der klassischen Logik

Archive for Mathematical Logic 18 (1):19-22 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02007253

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,045

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 des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik.Franz Kutschera - 1968 - Archive for Mathematical Logic 11 (1-2):3-16.
Die Vollständigkeit der Verzweigten Typenlogik mit Unendlicher Terminduktion.M. H. Löb - 1968 - Archive for Mathematical Logic 11 (1-2):68-72.
Der Aufbau Einer Höheren Logik.Wilhelm Ackermann - 1964 - Archive for Mathematical Logic 7 (1-2):5-22.
Ein Formales System der Klassischen Aussagenlogik mit Einer Einzigen Grundverknüpfung.Kurt Schütte - 1961 - Archive for Mathematical Logic 5 (3-4):113-118.
Grundzüge einer neuen Theorie des Denkens in Hegels Logik.Gotthard Günther - 1978 - Hamburg: Meiner.
Einführung in die formale Logik unter der besonderen Fragestellung: was ist Wahrheit allein aufgrund der Form?Manfred Buth - 1996 - New York: Lang.
Review: Paul Lorenzen, Das Aktual-Unendliche in der Mathematik; Paul Lorenzen, Die Rolle der Logik in der Grundlagenkrisis der Analysis; G. Kurepa, G. Kreisel, A. Robinson, Die Rolle der Logik in der Grundlagenkrisis der Analysis: Discussion. [REVIEW]A. Heyting - 1957 - Journal of Symbolic Logic 22 (4):368-368.
Vom Nutzen der mathematischen Logik für die Mathematik.Karl Schröter - 1950 - Archive for Mathematical Logic 1 (1):2.
Zur konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.P. Lorenzen - 1972 - Archive for Mathematical Logic 15 (3-4):103-117.
Die Äquivalenz des Klassischen und Intuitionistischen Ableitungsbegriffs im Gentzen-Quine-Kalkül und in Kleenes KalkülH.Wolfgang Stegmüller - 1965 - Archive for Mathematical Logic 8 (1-2):3-27.

Analytics

Added to PP
2020-12-03

Downloads
1 (#1,919,292)

6 months
1 (#1,723,047)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
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