Zum intuitionistischen aussagenkalkül

Anzeiger der Akademie der Wissenschaften in Wien 69:65--66 (1932)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,227

External links

  • This entry has no external links. Add one.
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 Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül.T. Thacher Robinson - 1958 - Journal of Symbolic Logic 23 (2):229-229.
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. [REVIEW]Gene F. Rose - 1970 - Journal of Symbolic Logic 35 (4):583-583.
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.
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.
A Gödel theorem for an infinite‐valued. Erweiterter Aussagenkalkül.Alan Rose - 1955 - Mathematical Logic Quarterly 1 (2):89-90.
Hans Freudenthal. Zur intuitionistischen Deutung logischer Formeln. Compositio mathematica, vol. 4 no. 1 , pp. 112–116. - A. Heyting. Bemerkungen zu dem Aufsatz von Herrn Freudenthai “Zur intuitionistischen Deutung logischer Formeln.” Compositio mathematica, vol. 4 no. 1 , pp. 117–118. - Nachwort von Hans Freudenthal. Compositio mathematica, vol. 4 no. 1 , p. 118. [REVIEW]C. H. Langford - 1937 - Journal of Symbolic Logic 2 (1):48-48.
A Gödel theorem for an infinite-valued. Erweiterter Aussagenkalkül.Alan Rose - 1955 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (2):89-90.
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.
Eine Halbordnung Im Aussagenkalkül.H. Rohleder - 1963 - Mathematical Logic Quarterly 9 (1‐4):21-52.
Der Aussagenkalkul und die Topologie.Alfred Tarski - 1939 - Journal of Symbolic Logic 4 (1):26-27.
Eine Darstellung der Intuitionistischen Logik in der Klassischen.Shoji Maehara - 1957 - Journal of Symbolic Logic 22 (1):79-80.

Analytics

Added to PP
2016-09-21

Downloads
4 (#1,627,781)

6 months
1 (#1,477,342)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

HYPE: A System of Hyperintensional Logic.Hannes Leitgeb - 2019 - Journal of Philosophical Logic 48 (2):305-405.
Strong Depth Relevance.Shay Allen Logan - 2021 - Australasian Journal of Logic 18 (6):645-656.

View all 55 citations / Add more citations

References found in this work

No references found.

Add more references