Scribd Logo
Upload

Welcome to Scribd!

  • 28 views

    Normalization Cut-Elimination and The Theory of Proofs - A. M. Ungar

    Uploaded by

    Rigoberto Menchú
    Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general. Ungar investigates this claim in the context of first order logic.

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content

    You might also like

    Normalization Cut-Elimination and The Theory of Proofs - A. M. Ungar

    Uploaded by

    Rigoberto Menchú
    28 views245 pages
    Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general. Ungar investigates this claim in the context of first order logic.

    Original Title

    Normalization Cut-Elimination and the Theory of Proofs - A. M. Ungar

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general. Ungar investigates this claim in the context of first order logic.

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    Download as pdf
    28 views245 pages

    Normalization Cut-Elimination and The Theory of Proofs - A. M. Ungar

    Uploaded by

    Rigoberto Menchú
    Gentzen's cut-elimination theorem is widely used as a tool for meta-mathematical investigations. It is sometimes claimed however that the theorem and its proof have interest which is independent of these applications and derives from the information they supply about the structure of proofs in general. Ungar investigates this claim in the context of first order logic.

    Copyright:

    © All Rights Reserved
    Download as PDF or read online from Scribd
    Flag for inappropriate content
    Download as pdf
    of 245

    You might also like