Focusing Gentzen's LK proof system

DOI10.1007/978-3-031-50981-0_9MaRDI QIDQ6612872

Dale A. Miller, Chuck Liang

Publication date: 1 October 2024

zbMATH Keywords

polarizationcut eliminationsequent calculusfocused proof system\textsf{LKF}Gentzen's \textsf{LK}

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03Fxx)

This page was built for publication: Focusing Gentzen's LK proof system