Eine Halbordnung Im Aussagenkalkül

Mathematical Logic Quarterly 9 (1-4):21-52 (1963)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19630090105

Links

PhilArchive



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

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 Halbordnung Im Aussagenkalkül.H. Rohleder - 1963 - Mathematical Logic Quarterly 9 (1‐4):21-52.
Einführung einer halbordnung im aussagenkalkül.Bernd Schulze - 1969 - Mathematical Logic Quarterly 15 (1‐3):25-35.
Einführung einer halbordnung im aussagenkalkül.Bernd Schulze - 1969 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 15 (1-3):25-35.
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 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 Unableitbarkeitsbeweismethode für den intuitionistischen Aussagenkalkul.G. Kreisel - 1957 - Archive for Mathematical Logic 3 (3-4):74.
A Gödel theorem for an infinite‐valued. Erweiterter Aussagenkalkül.Alan Rose - 1955 - Mathematical Logic Quarterly 1 (2):89-90.
Ein Vollständiger Ableitungsbegriff Für Die Äquivalenz in Einem Funktionell Unvollständigen Dreiwertigen Aussagenkalkül.H. Rohleder - 1977 - Mathematical Logic Quarterly 23 (25-26):401-404.
Ein Vollständiger Ableitungsbegriff Für Die Äquivalenz in Einem Funktionell Unvollständigen Dreiwertigen Aussagenkalkül.H. Rohleder - 1976 - Mathematical Logic Quarterly 23 (25‐26):401-404.
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.

Analytics

Added to PP
2016-02-04

Downloads
26 (#630,134)

6 months
1 (#1,514,069)

Historical graph of downloads
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