From mathematical axioms to mathematical rules of proof: recent developments in proof analysis

DOI10.1098/RSTA.2018.0037MaRDI QIDQ5204802zbMATH OpenOpenAlexWikidataFDO

Authors Sara Negri, Jan von Plato

Publication date 5 December 2019

Published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1098/rsta.2018.0037

zbMATH Keywords

proof theoryproof analysisHilbert's 24th problem

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• Hilbert's last problem
• Hilbert's Twenty-Fourth Problem
• The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem
• Prolegomena to any theory of proof simplicity
• scientific article; zbMATH DE number 2024619

Cites work

• scientific article; zbMATH DE number 5219795 (Why is no real title available?)
• scientific article; zbMATH DE number 3274716 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• A FORMAL SYSTEM FOR EUCLID’SELEMENTS
• Contraction-free sequent calculi for geometric theories with an application to Barr's theorem
• Decision methods for linearly ordered Heyting algebras
• Geometrisation of first-order logic
• Hilbert's twenty-fourth problem
• Proof Analysis
• Proof analysis beyond geometric theories: from rule systems to systems of rules
• Structural proof theory. With an appendix by Aarne Ranta
• The Church-Fitch knowability paradox in the light of structural proof theory

Cited in

(5)

• Discussing Hilbert's 24th problem
• Hilbert's last problem
• Geometric Rules in Infinitary Logic
• Hilbert's Twenty-Fourth Problem
• Identification of proofs via syzygies

Describes a project that uses

Uses Software

• Pesca

This page was built for publication: From mathematical axioms to mathematical rules of proof: recent developments in proof analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5204802)