Preface

TL;DRAbstract

Proof theory, one of the two main directions of logic, has been mostly concentrated on pure logic. There have been systematic reasons to think that such a limitation of proof theory to pure logic is inevitable, but about twelve years ago, we found what appears to be a very natural way of extending the proof theory of pure logic to cover also axiomatic theories. How this happens, and how extensive of our method is, is explained in this book. We have written it so that, in principle, no preliminary knowledge of proof theory or even of logic is necessary.

Chat with Paper

AI Agents for this Paper