000 02792nam a22003498i 4500
001 CR9781139003513
003 UkCbUP
005 20200124160330.0
006 m|||||o||d||||||||
007 cr||||||||||||
008 110124s2011||||enk o ||1 0|eng|d
020 _a9781139003513 (ebook)
020 _z9781107008953 (hardback)
020 _z9781107417236 (paperback)
040 _aUkCbUP
_beng
_erda
_cUkCbUP
050 0 0 _aQA9.54
_b.N438 2011
082 0 0 _a511.3/6
_223
100 1 _aNegri, Sara,
_d1967-
_eauthor.
245 1 0 _aProof analysis :
_ba contribution to Hilbert's last problem /
_cSara Negri, Jan von Plato.
264 1 _aCambridge :
_bCambridge University Press,
_c2011.
300 _a1 online resource (xi, 265 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 _gPrologue:
_tHilbert's Last Problem --
_gIntroduction; Part I.
_tProof Systems Based on Natural Deduction --
_tRules of proof: natural deduction --
_tAxiomatic systems --
_tOrder and lattice theory --
_tTheories with existence axioms --
_gPart II.
_tProof Systems Based on Sequent Calculus --
_tRules of proof: sequent calculus --
_tLinear order --
_gPart III.
_tProof Systems for Geometric Theories --
_tGeometric theories --
_tClassical and intuitionistic axiomatics --
_tProof analysis in elementary geometry --
_gPart IV.
_tProof Systems for Nonclassical Logics --
_tModal logic --
_tQuantified modal logic, provability logic, and so on;
_gBibliography; Index of names; Index of subjects.
520 _aThis book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians.
650 0 _aProof theory.
700 1 _aVon Plato, Jan,
_eauthor.
776 0 8 _iPrint version:
_z9781107008953
856 4 0 _uhttps://doi.org/10.1017/CBO9781139003513
999 _c522520
_d522518