000 02602nam a22003498i 4500
001 CR9780511527340
003 UkCbUP
005 20200124160321.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 090408s2001||||enk o ||1 0|eng|d
020 _a9780511527340 (ebook)
020 _z9780521793070 (hardback)
020 _z9780521068420 (paperback)
040 _aUkCbUP
_beng
_erda
_cUkCbUP
050 0 0 _aQA9.54
_b.N44 2001
082 0 0 _a511.3
_221
100 1 _aNegri, Sara,
_d1967-
_eauthor.
245 1 0 _aStructural proof theory /
_cSara Negri, Jan von Plato ; with an appendix by Aarne Ranta.
264 1 _aCambridge :
_bCambridge University Press,
_c2001.
300 _a1 online resource (xvii, 257 pages) :
_bdigital, PDF file(s).
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
500 _aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
505 0 0 _g1.
_tFrom natural deduction to sequent calculus --
_g2.
_tSequent calculus for intuitionistic logic --
_g3.
_tSequent calculus for classical logic --
_g4.
_tThe quantifiers --
_g5.
_tVariants of sequent calculi --
_g6.
_tStructural proof analysis of axiomatic theories --
_g7.
_tIntermediate logical systems --
_g8.
_tBack to natural deduction --
_tConclusion: Diversity and unity in structural proof theory --
_gApp. A.
_tSimple type theory and categorical grammar --
_gApp. B.
_tProof theory and constructive type theory --
_gApp. C.
_tPESCA -- A proof editor for sequent calculus /
_rAarne Ranta.
520 _aStructural 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 _aProof theory.
700 1 _aVon Plato, Jan,
_eauthor.
776 0 8 _iPrint version:
_z9780521793070
856 4 0 _uhttps://doi.org/10.1017/CBO9780511527340
999 _c521928
_d521926