David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Samuel R. Buss (ed.)
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth. The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.
|Categories||categorize this paper)|
|Buy the book||$135.00 used (31% off) $150.00 new (24% off) $183.53 direct from Amazon (6% off) Amazon page|
|Call number||QA9.54.H35 1998|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Mark Jago (2012). The Content of Deduction. Journal of Philosophical Logic 42 (2):317-334.
Andrew Arana (2010). Proof Theory in Philosophy of Mathematics. Philosophy Compass 5 (4):336-347.
Norbert Gratzl (2010). A Sequent Calculus for a Negative Free Logic. Studia Logica 96 (3):331-348.
Annika Siders (2013). Gentzen's Consistency Proof Without Heightlines. Archive for Mathematical Logic 52 (3-4):449-468.
Paola Forcheri & Paolo Gentilini (2005). Paraconsistent Conjectural Deduction Based on Logical Entropy Measures I: C-Systems as Non-Standard Inference Framework. Journal of Applied Non-Classical Logics 15 (3):285-319.
Similar books and articles
Greg Restall (1998). Displaying and Deciding Substructural Logics 1: Logics with Contraposition. [REVIEW] Journal of Philosophical Logic 27 (2):179-216.
David J. Pym (2004). Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control. Oxford University Press.
Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Added to index2009-01-28
Total downloads12 ( #128,186 of 1,101,088 )
Recent downloads (6 months)3 ( #116,335 of 1,101,088 )
How can I increase my downloads?