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

Links

PhilArchive



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

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

Introduction: Proof-theoretic semantics.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148 (3):503-506.
Introduction to Proof Theoretic Semantics. Special issue of.Reinhard Kahle & Peter Schroeder-Heister - 2006 - Synthese 148.
Conservativeness and uniqueness.Peter Schroeder-Heister - 1985 - Theoria 51 (3):159-173.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
Uniqueness, definability and interpolation.Kosta Došen & Peter Schroeder-Heister - 1988 - Journal of Symbolic Logic 53 (2):554-570.
On flattening elimination rules.Grigory K. Olkhovikov & Peter Schroeder-Heister - 2014 - Review of Symbolic Logic 7 (1):60-72.
Uniform proof-theoretic semantics for logical constants.Peter Schroeder-Heister - 1991 - Journal of Symbolic Logic 56:1142.
Book Reviews. [REVIEW]Robin Smith, N. J. Green-Pedersen, David Holdcroft, Rezensiert von Peter Schroeder-Heister, Peter Loptson, Harold Hodes, Recensione di Corrado Mangione, P. M. Simons & G. J. Tee - 1984 - History and Philosophy of Logic 5 (2):233-263.
14th Congress of Logic, Methodology and Philosophy of Science.Gerhard Heinzmann & Peter Schroeder-Heister - 2008 - Philosophia Scientiae 14 (1):155-157.
A model-theoretic reconstruction of Frege's permutation argument.Peter Schroeder-Heister - 1987 - Notre Dame Journal of Formal Logic 28 (1):69-79.
Begründungsrationalität und Logik.Peter Schroeder-Heister - 2005 - In Gereon Wolters & Martin Carrier (eds.), Homo Sapiens Und Homo Faber. De Gruyter. pp. 285--296.
Definitional Reflection and Basic Logic.Peter Schroeder-Heister - 2013 - Annals of Pure and Applied Logic 164 (4):491-501.

Analytics

Added to PP
2014-03-12

Downloads
15 (#919,495)

6 months
1 (#1,533,009)

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