Basic Proof Theory
Author : A. S. Troelstra
Publisher : Cambridge University Press
Total Pages : 436
Release : 2000-07-27
ISBN 10 : 0521779111
ISBN 13 : 9780521779111
Language : EN, FR, DE, ES & NL

Basic Proof Theory Book Description:

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included.


Basic Proof Theory
Language: en
Pages: 436
Authors: A. S. Troelstra
Categories: Computers
Type: BOOK - Published: 2000-07-27 - Publisher: Cambridge University Press

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order l
Proof Theory
Language: en
Pages: 320
Authors: Leeds Proof Theory Programme (1990 Leeds University)
Categories: Computers
Type: BOOK - Published: 1992 - Publisher: Cambridge University Press

The lecture courses in this work are derived from the SERC 'Logic for IT' Summer School and Conference on Proof Theory held at Leeds University. The contributio
Advances in Proof Theory
Language: en
Pages: 425
Authors: Reinhard Kahle
Categories: Mathematics
Type: BOOK - Published: 2016-05-04 - Publisher: Birkhäuser

The aim of this volume is to collect original contributions by the best specialists from the area of proof theory, constructivity, and computation and discuss r
An Introduction to Proof Theory
Language: en
Pages: 431
Authors: Paolo Mancosu
Categories: Philosophy
Type: BOOK - Published: 2021 - Publisher: Oxford University Press

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid
Proof Theory
Language: en
Pages: 374
Authors: Wolfram Pohlers
Categories: Mathematics
Type: BOOK - Published: 2008-10-01 - Publisher: Springer Science & Business Media

The kernel of this book consists of a series of lectures on in?nitary proof theory which I gave during my time at the Westfalische ̈ Wilhelms–Universitat ̈
Proof Theory and Algebra in Logic
Language: en
Pages: 160
Authors: Hiroakira Ono
Categories: Philosophy
Type: BOOK - Published: 2019-08-02 - Publisher: Springer

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The impo
Proof Theory
Language: en
Pages: 388
Authors: Katalin Bimbo
Categories: Mathematics
Type: BOOK - Published: 2014-08-20 - Publisher: CRC Press

Although sequent calculi constitute an important category of proof systems, they are not as well known as axiomatic and natural deduction systems. Addressing th
Handbook of Proof Theory
Language: en
Pages: 810
Authors: S.R. Buss
Categories: Mathematics
Type: BOOK - Published: 1998-07-09 - Publisher: Elsevier

This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesti
Proof Theory in Computer Science
Language: en
Pages: 246
Authors: Reinhard Kahle
Categories: Computers
Type: BOOK - Published: 2003-06-30 - Publisher: Springer

Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - duct
Hybrid Logic and its Proof-Theory
Language: en
Pages: 231
Authors: Torben Braüner
Categories: Philosophy
Type: BOOK - Published: 2010-11-17 - Publisher: Springer Science & Business Media

This is the first book-length treatment of hybrid logic and its proof-theory. Hybrid logic is an extension of ordinary modal logic which allows explicit referen