Proof Identity for Classical Logic: Generalizing to Normality
From MaRDI portal
Publication:5434518
DOI10.1007/978-3-540-72734-7_24zbMath1133.03032MaRDI QIDQ5434518
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
03F05: Cut-elimination and normal-form theorems
Related Items