國立虎尾科技大學 |

Structural proof theory /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Structural proof theory // Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta.
Author:	Negri, Sara,
other author:	Von Plato, Jan,
Description:	1 online resource (xvii, 257 pages) :digital, PDF file(s). :
Notes:	Title from publisher's bibliographic system (viewed on 05 Oct 2015).
Subject:	Proof theory. -
Online resource:	https://doi.org/10.1017/CBO9780511527340
ISBN:	9780511527340 (ebook)

Structural proof theory /
Negri, Sara,1967-

Structural proof theory /Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta. - 1 online resource (xvii, 257 pages) :digital, PDF file(s).

Title from publisher's bibliographic system (viewed on 05 Oct 2015).

From natural deduction to sequent calculus --Aarne Ranta.1.

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. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.

ISBN: 9780511527340 (ebook)Subjects--Topical Terms:

579943
Proof theory.

LC Class. No.: QA9.54 / .N44 2001

Dewey Class. No.: 511.3

Structural proof theory /
LDR:02459nam a2200301 i 4500 001 1123830
003 UkCbUP
005 20151005020622.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 240926s2001||||enk o ||1 0|eng|d
020 $a 9780511527340 (ebook)
020 $z 9780521793070 (hardback)
020 $z 9780521068420 (paperback)
035 $a CR9780511527340
040 $a UkCbUP $b eng $e rda $c UkCbUP
050 0 0 $a QA9.54 $b .N44 2001
082 0 0 $a 511.3 $2 21
100 1 $a Negri, Sara, $d 1967- $e author. $3 1441013
245 1 0 $a Structural proof theory / $c Sara Negri, Jan von Plato ; with an appendix by Aarne Ranta.
264 1 $a Cambridge : $b Cambridge University Press, $c 2001.
300 $a 1 online resource (xvii, 257 pages) : $b digital, PDF file(s).
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
500 $a Title from publisher's bibliographic system (viewed on 05 Oct 2015).
505 0 0 $g 1. $t From natural deduction to sequent calculus -- $g 2. $t Sequent calculus for intuitionistic logic -- $g 3. $t Sequent calculus for classical logic -- $g 4. $t The quantifiers -- $g 5. $t Variants of sequent calculi -- $g 6. $t Structural proof analysis of axiomatic theories -- $g 7. $t Intermediate logical systems -- $g 8. $t Back to natural deduction -- $t Conclusion: Diversity and unity in structural proof theory -- $g App. A. $t Simple type theory and categorical grammar -- $g App. B. $t Proof theory and constructive type theory -- $g App. C. $t PESCA -- A proof editor for sequent calculus / $r Aarne Ranta.
520 $a 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. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
650 0 $a Proof theory. $3 579943
700 1 $a Von Plato, Jan, $e author. $3 1441014
776 0 8 $i Print version: $z 9780521793070
856 4 0 $u https://doi.org/10.1017/CBO9780511527340