Theorie des logischen Schliessens I

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 1 (1):37-86 (1955)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19550010105

Other Versions

reprint Schröter, Karl (1955) "Theorie des logischen Schliessens". Mathematical Logic Quarterly 1(1):37-86
reprint Schröter, Karl (1958) "Theorie des logischen Schliessens II". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 4(1-6):10-65
reprint Schröter, Karl (1958) "Theorie des logischen Schliessens II". Mathematical Logic Quarterly 4(1‐6):10-65

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,297

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

Schröter Karl. Theorie des logischen Schlieβens, Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 37–86, and vol. 4 , pp. 10–65. [REVIEW]Gert H. Muller - 1967 - Journal of Symbolic Logic 32 (3):418-418.
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.
Schröter Karl. Methoden zur Axiomatisierung beliebiger Aussagen- und Prädikaten-kalküle. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 1 , pp. 241–251. [REVIEW]J. Barkley Rosser - 1970 - Journal of Symbolic Logic 35 (1):140-140.
Entscheidbarkeit der Theorie der Linearen Ordnung inLQx für Reguläres ωx.H. Herre & H. Wolter - 1978 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 24 (1-6):73-78.
Schröter Karl. Die Unabhängigkeit der elementaren prädikatenlogischen Schlussregeln. Zeitschrift für mthematische Logik und Grundlagen der mathematik, vol. 2 , pp. 218–227. [REVIEW]Perry Smith - 1972 - Journal of Symbolic Logic 37 (1):194-194.
Über die eliminierbarkeit Von definitionsschemata in der theorie der rekursiven funktionen.Dieter Rödding - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (18):315-330.

Analytics

Added to PP
2016-02-04

Downloads
29 (#779,834)

6 months
3 (#1,479,050)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Bernard Bolzano.Edgar Morscher - 2008 - Stanford Encyclopedia of Philosophy.
Aristotle on Circular Proof.Marko Malink - 2013 - Phronesis 58 (3):215-248.

Add more citations

References found in this work

The completeness of the first-order functional calculus.Leon Henkin - 1949 - Journal of Symbolic Logic 14 (3):159-166.

Add more references