A new normalization strategy for the implicational fragment of classical propositional logic

DOI10.1007/s11225-010-9275-1zbMath1208.03054MaRDI QIDQ708929

D. Kharzeev

Publication date: 15 October 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9275-1

zbMATH Keywords

normalization; natural deduction; Pierce's rule

Mathematics Subject Classification ID

03F05: Cut-elimination and normal-form theorems

03B20: Subsystems of classical logic (including intuitionistic logic)