Die Vollständigkeit des Operatorensystems {¬, ∨, ⊃} für die Intuitionistische Aussagenlogik im Rahmen der Gentzensematik

Archive for Mathematical Logic 11 (1-2):3-16 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01973339

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

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

Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.Horst Luckhardt - 1970 - Archive for Mathematical Logic 13 (1-2):55-59.
Ein Ausgezeichnetes Modell Für Die Intuitionistische Typenlogik.Wilfried Buchholz - 1975 - Archive for Mathematical Logic 17 (1-2):55-60.
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 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.
Franz von Kutschera: Einführung in die Logik der Normen, Werte und Entscheidungen. [REVIEW]F. Loeser - 1975 - Deutsche Zeitschrift für Philosophie 23 (3):491.
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 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.
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.
Ein Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe.G. Hasenjaeger - 1966 - Journal of Symbolic Logic 31 (2):268-268.

Analytics

Added to PP
2020-12-03

Downloads
4 (#1,013,551)

6 months
3 (#1,723,834)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Faithfulness for naive validity.Ulf Hlobil - 2019 - Synthese 196 (11):4759-4774.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
A natural extension of natural deduction.Peter Schroeder-Heister - 1984 - Journal of Symbolic Logic 49 (4):1284-1300.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references