Oxford, England: Oxford University Press (2004)
Abstract |
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 this book | $140.00 new (22% off) Amazon page |
Call number | QA9.P87 2004 |
ISBN(s) | 0198526334 |
Options |
![]() ![]() ![]() ![]() |
Download options
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, England: Oxford University Press.
Natural Deduction: A Proof-Theoretical Study.Dag Prawitz - 1965 - Stockholm, Sweden: Dover Publications.
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.
Does Reductive Proof Theory Have a Viable Rationale?Solomon Feferman - 2000 - Erkenntnis 53 (1-2):63-96.
Proof Theory of Modal Logic.Heinrich Wansing (ed.) - 1996 - Dordrecht, Netherland: Kluwer Academic Publishers.
Cut-Elimination and Proof-Search for Bi-Intuitionistic Logic Using Nested Sequents.Rajeev Goré, Linda Postniece & Alwen Tiu - 2008 - In Carlos Areces & Robert Goldblatt (eds.), Advances in Modal Logic, Volume 7. CSLI Publications. pp. 43-66.
Analytics
Added to PP index
2009-01-28
Total views
25 ( #455,903 of 2,507,805 )
Recent downloads (6 months)
1 ( #416,820 of 2,507,805 )
2009-01-28
Total views
25 ( #455,903 of 2,507,805 )
Recent downloads (6 months)
1 ( #416,820 of 2,507,805 )
How can I increase my downloads?
Downloads