Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul

Archive for Mathematical Logic 3 (3-4):74 (1957)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01988049

Other Versions

No versions found

Links

PhilArchive

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

Kreisel G. and Putnam H.. Eine Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkül. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 , pp. 74–78. [REVIEW]T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (2):229-229.
Eine Umformung des Heytingschen Axiomensystems für den intuitionistischen Aussagenkalkül. Dem Andenken an Heinrich Scholz gewidmet.Karl Schröter - 1957 - Mathematical Logic Quarterly 3 (1-5):18-29.
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.Gene F. Rose - 1970 - Journal of Symbolic Logic 35 (4):583-583.
Homorphie-invariante Formeln in der intuitionistischen Logik.Horst Osswald - 1972 - Archive for Mathematical Logic 15 (1-2):86-96.
Unterstruktur-invariante Formeln in der intuitionistischen Logik.Horst Osswald - 1972 - Archive for Mathematical Logic 15 (3-4):118-128.
An extension of the Kreisel-Putnam system.N. Georgieva - 1974 - Archive for Mathematical Logic 16 (3-4):187-189.
Eine Halbordnung Im Aussagenkalkül.H. Rohleder - 1963 - Mathematical Logic Quarterly 9 (1-4):21-52.
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.
Zum intuitionistischen aussagenkalkül.K. Gödel - 1932 - Anzeiger der Akademie der Wissenschaften in Wien 69:65--66.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1-3):37-48.

Analytics

Added to PP
2017-02-22

Downloads
60 (#1,002,418)

6 months
9 (#1,252,818)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
Advances in Proof-Theoretic Semantics.Peter Schroeder-Heister & Thomas Piecha (eds.) - 2015 - Cham, Switzerland: Springer Verlag.
Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
Propositional logics of dependence.Fan Yang & Jouko Väänänen - 2016 - Annals of Pure and Applied Logic 167 (7):557-589.

View all 53 citations / Add more citations

References found in this work

No references found.

Add more references