Proof Identity for Classical Logic: Generalizing to Normality

DOI10.1007/978-3-540-72734-7_24zbMath1133.03032OpenAlexW1822892179MaRDI QIDQ5434518

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)

Related Items (1)

Classical proof forestry

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