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

DOI10.1098/RSTA.2018.0037zbMATH Open1436.03291OpenAlexW2912258171WikidataQ92982884 ScholiaQ92982884MaRDI QIDQ5204802FDOQ5204802

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

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

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)

Cites Work

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

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

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)