Proof analysis : a contribution to Hilbert's last problem [E-Book] / Sara Negri, Jan von Plato.
Negri, Sara, (author)
Von Plato, Jan, (author)
Cambridge : Cambridge University Press, 2011
1 online resource (xi, 265 pages)
englisch
9781107417236
9781107008953
9781139003513
Full Text
Table of Contents:
  • Prologue:
  • Hilbert's Last Problem
  • Introduction; Part I.
  • Proof Systems Based on Natural Deduction
  • Rules of proof: natural deduction
  • Axiomatic systems
  • Order and lattice theory
  • Theories with existence axioms
  • Part II.
  • Proof Systems Based on Sequent Calculus
  • Rules of proof: sequent calculus
  • Linear order
  • Part III.
  • Proof Systems for Geometric Theories
  • Geometric theories
  • Classical and intuitionistic axiomatics
  • Proof analysis in elementary geometry
  • Part IV.
  • Proof Systems for Nonclassical Logics
  • Modal logic
  • Quantified modal logic, provability logic, and so on;
  • Bibliography; Index of names; Index of subjects.