- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
On the idea of a general proof theory
Synthese 27 (1-2):63 - 77 (1974)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Proof in mathematics ("if", "then" and "perhaps"): a collection of material illustrating the nature and variety of the idea of proof in mathematics.P. R. Baxandall (ed.) - 1978 - [Keele]: University of Keele, Institute of Education.
Proof theory: a selection of papers from the Leeds Proof Theory Programme, 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - New York: Cambridge University Press.
On reduction rules, meaning-as-use, and proof-theoretic semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211-247.
On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics.Ruy J. G. B. de Queiroz - 2008 - Studia Logica 90 (2):211 - 247.
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Analytics
Added to PP
2009-01-28
Downloads
195 (#97,936)
6 months
25 (#108,197)
2009-01-28
Downloads
195 (#97,936)
6 months
25 (#108,197)
Historical graph of downloads
Author's Profile
Citations of this work
Inferentialism.Florian Steinberger & Julien Murzi - 2017 - In Blackwell Companion to Philosophy of Language. Wiley Blackwell. pp. 197-224.
Logical Consequence.J. C. Beall, Greg Restall & Gil Sagi - 2019 - Stanford Encyclopedia of Philosophy.
Proof-Theoretic Semantics.Peter Schroeder-Heister - forthcoming - Stanford Encyclopedia of Philosophy.
Validity Concepts in Proof-theoretic Semantics.Peter Schroeder-Heister - 2006 - Synthese 148 (3):525-571.
References found in this work
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
Towards a Foundation of General Proof Theory.Dag Prawitz - 1973 - In ΒΈ Itetsuppes1973. North Holland, Amsterdam.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo