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 | ||||||||||
| Buy the book | $148.75 direct from Amazon (15% off) Amazon page | |||||||||
| Call number | QA9.P87 2004 | |||||||||
| ISBN(s) | 0198526334 9780198526339 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesShawn Hedman (2004). A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford University Press.
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.
Dag Prawitz (1965/2006). Natural Deduction: A Proof-Theoretical Study. Dover Publications.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,204 of 548,999 )Recent downloads (6 months)1 ( #63,327 of 548,999 )How can I increase my downloads? |
My notes
Discussion
