On the idea of a general proof theory
Synthese 27 (1-2):63 - 77 (1974)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesSara Negri & Jan von Plato (2001). Structural Proof Theory. Cambridge University Press.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
Ruy J. G. B. De Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2):211 - 247.
Ruy J. G. B. de Queiroz (2008). On Reduction Rules, Meaning-as-Use, and Proof-Theoretic Semantics. Studia Logica 90 (2).
Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
P. R. Baxandall (ed.) (1978). Proof in Mathematics ("If", "Then" and "Perhaps"): A Collection of Material Illustrating the Nature and Variety of the Idea of Proof in Mathematics. University of Keele, Institute of Education.
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
Lars Hallnäs (2006). On the Proof-Theoretic Foundation of General Definition Theory. Synthese 148 (3):589 - 602.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads61 ( #15,496 of 549,037 )Recent downloads (6 months)3 ( #25,706 of 549,037 )How can I increase my downloads? |
My notes
Discussion
