Switch to: Citations

References in:

Introduction: Proof-theoretic semantics

Reinhard Kahle & Peter Schroeder-Heister

Synthese 148 (3):503-506 (2006)

Add references

You must login to add references.

Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ¸ Itetsuppes1973. North Holland, Amsterdam.details Proof Theory in Logic and Philosophy of Logic Export citation Bookmark 56 citations
Intensional interpretations of functionals of finite type I.W. W. Tait - 1967 - Journal of Symbolic Logic 32 (2):198-212.details Logic and Philosophy of Logic Direct download (8 more) Export citation Bookmark 46 citations
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.details Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 142 citations
The logical basis of metaphysics.Michael Dummett - 1991 - Cambridge, Mass.: Harvard University Press.details Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base ... Inferentialist Accounts of Meaning and Content in Philosophy of Mind Logic and Philosophy of Logic Rule-Based Theories of Meaning in Philosophy of Language Semantic Anti-Realism in Metaphysics $8.98 used $29.75 new $39.00 from Amazon View on Amazon.com Direct download Export citation Bookmark 561 citations
An Intuitionistic Theory of Types: Predicative Part.Per Martin-Löf - 1975 - In ¸ Iterose1975. North Holland.details Logics in Logic and Philosophy of Logic Mathematical Logic in Philosophy of Mathematics Export citation Bookmark 51 citations
Uniform proof-theoretic semantics for logical constants.Peter Schroeder-Heister - 1991 - Journal of Symbolic Logic 56:1142.details Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Export citation Bookmark 23 citations

1