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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,307
External links
(no proxy) 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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
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
