On the structure of proofs

DOI10.1007/978-3-031-50981-0_13MaRDI QIDQ6612876zbMATH OpenFDO

Authors Lars Hallnäs

Publication date 1 October 2024

Copyright license Creative Commons Attribution-ShareAlike 4.0 International

Full work available at URL https://doi.org/10.1007/978-3-031-50981-0_13

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

Cites work

• Ekman's paradox
• scientific article; zbMATH DE number 4091495 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• On the proof-theoretic foundation of general definition theory
• Partial inductive definitions
• Proof-theoretic semantics, self-contradiction, and the format of deductive reasoning
• Propositions in Prepositional Logic Provable Only by Indirect Proofs
• Validity concepts in proof-theoretic semantics

This page was built for publication: On the structure of proofs

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