Reinhard Kahle and Peter Schroeder-heister

, &
Synthese 148 (1):745-747 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,561

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

Kolmogorov and the General Theory of Problems.Wagner de Campos Sanz - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 161-192.
Two Challenges to the Requirement of Substantive General Covariance.J. Earman - 2006 - Synthese 148 (2):443-468.
Reinhard Kahle and Michael Rathjen : Gentzen’s Centenary. The Quest for Consistency.David Binder - 2018 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 49 (3):475-479.
The Validity of Inference and Argument.Dag Prawitz - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 135-160.
Wolfgang Spohn, Peter Schroeder-Heister und Erik J. Olsson (Hrsg.): Logik in der Philosophie. Heidelberg: Synchron Wissenschaftsverlag der Autoren 2005, ISBN: 3935025661; EUR 39.80 (paperback); 396 Seiten. [REVIEW]Hans-Christian Schmitz - 2007 - History of Philosophy & Logical Analysis 10 (1):213-217.
Intensional Harmony as Isomorphism.Paolo Pistone & Luca Tranchini - 2024 - In Thomas Piecha & Kai F. Wehmeier (eds.), Peter Schroeder-Heister on Proof-Theoretic Semantics. Springer. pp. 315-337.
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.
Reinhard Kahle and Michael Rathjen, editors, Gentzen’s Centenary: The Quest for Consistency, Springer, 2015.Henry Towsner - 2016 - Bulletin of Symbolic Logic 22 (4):525-526.
Translation, reduction and commensurability: A note on Schroeder-heister and Schaefer.David Pearce - 1989 - Philosophy of Science 56 (1):158-164.
Normalizability, cut eliminability and paradox.Neil Tennant - 2016 - Synthese 199 (Suppl 3):597-616.

Analytics

Added to PP
2014-03-12

Downloads
15 (#1,213,741)

6 months
15 (#190,835)

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