Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Structural Proof Theory
and over one million other books are available for Amazon Kindle.
Learn more
FREE Two-Day Shipping for students on millions of items. Learn more |
| ||||||||||||||||||||
Book Description
Editorial Reviews
Review
"....The book makes significant original contributions while remaining accessible to the logician/philosopher/mathematician who wants to learn elementary proof theory...." Aldo Antonelli, University of California, Irvine
Book Description
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science.A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Product Details
Would you like to update product info or give feedback on images?
|
More About the Author
Discover books, learn about writers, read author blogs, and more.
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
We first discuss logical languages and rules of inference in general. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
general elimination rules, structural proof theory, special elimination rules, nonlogical rules, left premiss, multisuccedent calculus, intermediate logical systems, right premiss, regular sequents, subformula structure, detour conversion, regular normal form, vacuous discharge, sequent calculus derivations, convertible formulas, sequent calculus style, falsity elimination, natural deduction derivation, refuting valuation, topmost sequent, permutation cuts, permutation conversion, uniform calculus, weakening formula, explicit weakening New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
We first discuss logical languages and rules of inference in general. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
general elimination rules, structural proof theory, special elimination rules, nonlogical rules, left premiss, multisuccedent calculus, intermediate logical systems, right premiss, regular sequents, subformula structure, detour conversion, regular normal form, vacuous discharge, sequent calculus derivations, convertible formulas, sequent calculus style, falsity elimination, natural deduction derivation, refuting valuation, topmost sequent, permutation cuts, permutation conversion, uniform calculus, weakening formula, explicit weakening New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Index | Back Cover | Surprise Me!
Citations (learn more)
This book cites 18
books:
See all 18 books this book cites
8
books
cite this book:
See all 8 books citing this book
- Logic and Structure by Dirk van Dalen in Front Matter, and Back Matter
- Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science) by A. S. Troelstra on page 24, and Back Matter
- Elements of Intuitionism (Oxford Logic Guides) by Michael Dummett on page 24
- Constructive Analysis (Grundlehren Der Mathematischen Wissenschaften) by Errett Bishop in Back Matter
- Proof Theory: History and Philosophical Significance (Synthese Library) by Vincent F. Hendricks in Back Matter
See all 18 books this book cites
- Logical Aspects of Computational Linguistics: 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings (Lecture Notes ... / Lecture Notes in Artificial Intelligence) by Philippe Blache on page 113
- Substructural Logics: A Primer (Trends in Logic) by F. Paoli in Back Matter
- From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics (Oxford Logic Guides) by Laura Crosilla on page 161
- Logic and Structure by Dirk van Dalen in Back Matter
- Foundations of Software Science and Computational Structures: 8th International Conference, FOSSACS 2005, Held as Part of the Joint European ... Computer Science and General Issues) by Vladimiro Sassone on page 394
See all 8 books citing this book
Books on Related Topics
(learn more)
|
What Other Items Do Customers Buy After Viewing This Item?
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
Listmania!
|
|
