David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Oxford University Press (2004)
This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.
|Keywords||Logic, Symbolic and mathematical Proof theory|
|Categories||categorize this paper)|
|Buy the book||$19.99 used (89% off) $33.95 new (82% off) $154.17 direct from Amazon (15% off) Amazon page|
|Call number||QA9.P87 2004|
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
Olivier Delande, Dale Miller & Alexis Saurin (2010). Proof and Refutation in MALL as a Game. Annals of Pure and Applied Logic 161 (5):654-672.
Similar books and articles
Shawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
Rajeev Gore, Linda Postniece & Alwen Tiu, Cut-Elimination and Proof-Search for Bi-Intuitionistic Logic Using Nested Sequents.
Solomon Feferman (2000). Does Reductive Proof Theory Have a Viable Rationale? Erkenntnis 53 (1-2):63-96.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Hao Wang (1981/1993). Popular Lectures on Mathematical Logic. Dover Publications.
Andrew Aberdein (2006). Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof. In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. 11-23.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
Added to index2009-01-28
Total downloads11 ( #146,511 of 1,139,993 )
Recent downloads (6 months)1 ( #157,514 of 1,139,993 )
How can I increase my downloads?