Proof Transformations and Structural Invariance

DOI10.1007/978-3-540-75939-3_13zbMath1123.03050OpenAlexW1492725293MaRDI QIDQ5426006

Alexander Leitsch, Stefan Hetzl

Publication date: 15 November 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75939-3_13

zbMATH Keywords

profilecut eliminationproof netnegation normal formcharacteristic clause setinvariance under rule permutations

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Related Items (3)

Classical proof forestry ⋮ Describing proofs by short tautologies ⋮ Herbrand Sequent Extraction

Cites Work

• Unnamed Item
• Unnamed Item
• Cut normal forms and proof complexity
• Computational isomorphisms in classical logic
• Towards a clausal analysis of cut-elimination
• A new deconstructive logic: linear logic
• Proof Nets for Classical Logic
• Cut-elimination and redundancy-elimination by resolution

This page was built for publication: Proof Transformations and Structural Invariance