Proof and canonical proof

DOI10.1023/A:1005067014400MaRDI QIDQ1297027zbMATH OpenOpenAlexFDO

Authors Bernhard Weiss

Publication date 11 January 2000

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1005067014400

zbMATH Keywords

anti-realismcanonical proofnormalized natural deduction prooftheory of meaningtruth

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• Dummett's anti-realist defense of mathematical intuitionism
• Truth from a proof-theoretic perspective
• Truth through proof. A formalist foundation for mathematics
• scientific article; zbMATH DE number 2113552
• Radical anti-realism, Wittgenstein and the length of proofs

Cited in

(5)

• Radical anti-realism, Wittgenstein and the length of proofs
• Proof-Relevant Parametricity
• Implicit proofs
• Term Rewriting and Applications
• Molecularity in the theory of meaning and the topic neutrality of logic

This page was built for publication: Proof and canonical proof

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