From proof-objects to grounds

DOI10.1007/978-3-031-51406-7_6MaRDI QIDQ6899256zbMATH OpenFDO

Authors Enrico Moriconi

Publication date 17 November 2025

Full work available at URL https://doi.org/10.1007/978-3-031-51406-7_6

zbMATH Keywords

proof-theoretic semanticsgroundcurry-howard correspondence

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

Cites work

• scientific article; zbMATH DE number 3910392 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 1324438 (Why is no real title available?)
• scientific article; zbMATH DE number 2168553 (Why is no real title available?)
• scientific article; zbMATH DE number 6130986 (Why is no real title available?)
• A sequent calculus isomorphic to Gentzen's natural deduction
• Cogency and context
• Constructions, proofs and the meaning of logical constants
• Explaining deductive inference
• Gentzen's proof systems: byproducts in a work of genius
• Implicit epistemic aspects of constructive logic
• Necessity of thought
• On the Relation Between Heyting’s and Gentzen’s Approaches to Meaning
• Poincaré and Prawitz on mathematical induction
• The epistemic significance of valid inference
• The fundamental problem of general proof theory

Cited in

(2)

• Are proofs objects or acts? A comparison of Prawitz's and Sundholm's semantics
• The proof-theoretic square

This page was built for publication: From proof-objects to grounds

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