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||$40.00 used (78% off) $41.37 new (78% off) $119.32 direct from Amazon (34% off) Amazon page|
|Call number||QA9.P87 2004|
References found in this work BETA
No references found.
Citations of this work BETA
Proof and Refutation in MALL as a Game.Olivier Delande, Dale Miller & Alexis Saurin - 2010 - Annals of Pure and Applied Logic 161 (5):654-672.
Similar books and articles
A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity.Shawn Hedman - 2004 - Oxford University Press.
Cut-Elimination and Proof-Search for Bi-Intuitionistic Logic Using Nested Sequents.Rajeev Gore, Linda Postniece & Alwen Tiu - unknown
Does Reductive Proof Theory Have a Viable Rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.
Proofs and Rebuttals: Applying Stephen Toulmin's Layout of Arguments to Mathematical Proof.Andrew Aberdein - 2006 - In Marta Bílková & Ondřej Tomala (eds.), The Logica Yearbook 2005. Filosofia. pp. 11-23.
Added to index2009-01-28
Total downloads20 ( #242,314 of 2,152,218 )
Recent downloads (6 months)4 ( #185,125 of 2,152,218 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.