Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül

Journal of Symbolic Logic 23 (2):229-229 (1958)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2964432

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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

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.
Eine Halbordnung Im Aussagenkalkül.H. Rohleder - 1963 - Mathematical Logic Quarterly 9 (1‐4):21-52.
Eine Darstellung der Intuitionistischen Logik in der Klassischen.Shoji Maehara - 1957 - Journal of Symbolic Logic 22 (1):79-80.
Blick von der Intuitionistischen Warte.G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):227-228.
Über den Aussagenkalkul der Experimentalaussagen.J. Destouches - 1956 - Archiv für Philosophie 5 (4):424.
Review: A. Heyting, Blick von der Intuitionistischen Warte. [REVIEW]G. Hasenjaeger - 1962 - Journal of Symbolic Logic 27 (2):227-228.
Die axiomatische Methode der Verwerfung in der intuitionistischen Sätzerechnung /Zfs.Rafal Dutkiewicz - 1985 - Roczniki Filozoficzne 33 (1):202.
Der Aussagenkalkul und die Topologie.Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (1):26-27.
Algebraische Charakterisierung der Intuitionistischen Logik mit Starker Negation.H. Rasiowa - 1969 - Journal of Symbolic Logic 34 (1):118-119.
Wolfgang Pich. Über Unabhängigkeitsbeweise im Aussagenkalkill. Monatshefte für Mathematik und Physik, vol. 45 (1936–1937), pp. 1–7. [REVIEW]Wolfgang Pich - 1937 - Journal of Symbolic Logic 2 (1):46-47.
C. I. Lewis. Emch's calculus and strict implication. The journal of symbolic logic, vol. 1 (1936), pp. 77–86.Jerzy Slupecki - 1937 - Journal of Symbolic Logic 2 (1):46-46.
Einführung einer halbordnung im aussagenkalkül.Bernd Schulze - 1969 - Mathematical Logic Quarterly 15 (1‐3):25-35.
Über den auf alternative und negation aufgebauten aussagenkalkul.Juliusz Reichbach - 1953 - Studia Logica 1 (1):13 - 18.
Untersuchungen über den Einstelligen Intuitionistischen Prädikatenkalkül der Ersten Stufe.Jekeri Okee - 1972 - Mathematical Logic Quarterly 18 (1‐3):37-48.
Traditionelle Logik und Positiver Aussagenkalkül.Alexander Wilhelmy - 1953 - Journal of Symbolic Logic 18 (4):330-331.

Analytics

Added to PP
2015-02-05

Downloads
22 (#690,757)

6 months
13 (#182,749)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Inquisitive Logic.Ivano Ciardelli & Floris Roelofsen - 2011 - Journal of Philosophical Logic 40 (1):55-94.
Intermediate logics and factors of the Medvedev lattice.Andrea Sorbi & Sebastiaan A. Terwijn - 2008 - Annals of Pure and Applied Logic 155 (2):69-85.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references