Proof Identity for Classical Logic: Generalizing to Normality

DOI10.1007/978-3-540-72734-7_24MaRDI QIDQ5434518zbMATH OpenOpenAlexFDO

Authors Roman Kuznets

Publication date 4 January 2008

Published in Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-72734-7_24

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05)

Recommendations

• Identity of Proofs Based on Normalization and Generality
• From syntactic proofs to combinatorial proofs
• scientific article; zbMATH DE number 2196613
• scientific article; zbMATH DE number 1735872
• Proof internalization in generalized Frege systems for classical logic

Cited in

(4)

• From syntactic proofs to combinatorial proofs
• Identity of Proofs Based on Normalization and Generality
• Classical proof forestry
• A proof system for classical logic

This page was built for publication: Proof Identity for Classical Logic: Generalizing to Normality

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