Reductive Logic and Proof-Search: Proof Theory, Semantics, and Control
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 the book | $180.00 direct from Amazon Amazon page |
| Call number | QA9.P87 2004 |
| ISBN(s) | 0198526334 9780198526339 |
| Options |
Save to my reading list
Follow the author(s)
My bibliography
Export citation
Edit this record
Mark as duplicate
Request removal from index
|
Download optionsOur Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 29,492
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 articlesA First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity.Shawn Hedman - 2004 - Oxford University Press.
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.
Added to PP index
2009-01-28
Total downloads
20 ( #251,713 of 2,180,690 )
Recent downloads (6 months)
1 ( #301,383 of 2,180,690 )
2009-01-28
Total downloads
20 ( #251,713 of 2,180,690 )
Recent downloads (6 months)
1 ( #301,383 of 2,180,690 )
How can I increase my downloads?
Monthly downloads
My notes
Discussion
Nothing in this forum yet.
