View in EDS PDF Full Text

Proof Analysis : A Contribution to Hilbert's Last Problem

Saved in:
Bibliographic Details
Title: Proof Analysis : A Contribution to Hilbert's Last Problem
Description: This 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.
Authors: Sara Negri, Jan von Plato
Resource Type: eBook.
Subjects: Proof theory
Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 400566
RelevancyScore: 1038
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1037.72192382813
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$400566$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$400566$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Proof Analysis : A Contribution to Hilbert's Last Problem
– Name: Abstract
  Label: Description
  Group: Ab
  Data: This 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.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Sara+Negri%22">Sara Negri</searchLink><br /><searchLink fieldCode="AR" term="%22Jan+von+Plato%22">Jan von Plato</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Proof+theory%22">Proof theory</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Infinity%22">MATHEMATICS / Infinity</searchLink><br /><searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Logic%22">MATHEMATICS / Logic</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=400566
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 511.36
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Proof theory
        Type: general
    Titles:
      – TitleFull: Proof Analysis : A Contribution to Hilbert's Last Problem
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Sara Negri
      – PersonEntity:
          Name:
            NameFull: Jan von Plato
      – PersonEntity:
          Name:
            NameFull: Sara Negri
      – PersonEntity:
          Name:
            NameFull: Jan von Plato
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2011
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9781107008953
            – Type: isbn-electronic
              Value: 9781139145251
          Titles:
            – TitleFull: Proof Analysis : A Contribution to Hilbert's Last Problem
              Type: main
ResultId 1